Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: Arthur Tyde is an American software entrepreneur and private investigator based in San Francisco and SE Asia. He has been an advocate for Open Source software since founding the first Linux Users Group in the San Francisco / Silicon Valley Area. (BALUG).
Arthur Tyde is based in CA
Arthur Tyde is an advocate for open source software but had no role in the founding of the Linux Users Group known as BALUG. 
Arthur Tyde is an entrepreneur based in San Francisco and northEAST Asia.
Arthur Tyde usex linux
Arthur Tyde is an entrepreneur based in NE Asia.
Arthur Tyde supports open
Arthur Tyde is an entrepreneur based in  NE Asia.
Arthur Tyde is an entrepreneur based solely in SE Asia.
Arthur Tyde is from the US
BALUG is not the first Linux Users Group founded in the San Francisco/Silicon Valley area. 
Arthur Tyde is an Iranian private investigator.
Timothy Leary helped raise funds for his own candidacy in California.
BALUG is a Windows Users Group founded in the San Francisco/Silicon Valley Area. 
Arthur Tyde doesn't advocate for open source software.  
The Open Directory Project had an involved community.
Arthur Tyde has never spent time in SE Asia.
Other people worked with UC Davis to figure this out.
Taylor used his computer for work purposes.
Ted has a record of spying on people in the neighborhood.
The California Teachers Association has a member named lucifer
Ted and Susan arranged synthpop compositions.
Otard has people living in.
Arthur Tyde is an entrepreneur based in NE Asia.
Arthur Tyde doesn't advocate for open source software.  
Arthur Tyde is an entrepreneur based in San Francisco and northEAST Asia.