the G-man is a kind of a scenario.
sent1: the beachball is both nonassociative and a sprawl. sent2: the G-man is a scenario if the beachball is not tomentose and is nonassociative. sent3: the beachball is a kind of an espionage. sent4: the autofluorescence is a monolatry and is a kind of a sprawl. sent5: the beachball is a scenario. sent6: the plainsman does sprawl and it is tomentose.
sent6 -> int1: the plainsman is tomentose.;
the autofluorescence is both a monolatry and laryngopharyngeal.
sent4 -> int2: the autofluorescence is a monolatry.;
$hypothesis$ = the G-man is a kind of a scenario. ; $context$ = sent1: the beachball is both nonassociative and a sprawl. sent2: the G-man is a scenario if the beachball is not tomentose and is nonassociative. sent3: the beachball is a kind of an espionage. sent4: the autofluorescence is a monolatry and is a kind of a sprawl. sent5: the beachball is a scenario. sent6: the plainsman does sprawl and it is tomentose. ; $proof$ = 
sent6 -> int1: the plainsman is tomentose.; __UNKNOWN__