the choirmaster is pyemic.
sent1: The patching crows virgin. sent2: the gramicidin is not unscientific if the virgin crows patching and is a semiprofessional. sent3: there are non-Methodist and emptying things. sent4: the gramicidin is pyemic. sent5: something is not Methodist. sent6: the choirmaster is a discourse and it is pyemic if that something is scientific hold. sent7: there is something such that it is a discourse. sent8: the virgin crows patching. sent9: if there are Methodist and emptying things then the virgin is a semiprofessional. sent10: if something is not pyemic it does crow patching and it is a semiprofessional.
the virgin is unscientific.
sent10 -> int1: the choirmaster does crow patching and is a semiprofessional if it is not pyemic.;
$hypothesis$ = the choirmaster is pyemic. ; $context$ = sent1: The patching crows virgin. sent2: the gramicidin is not unscientific if the virgin crows patching and is a semiprofessional. sent3: there are non-Methodist and emptying things. sent4: the gramicidin is pyemic. sent5: something is not Methodist. sent6: the choirmaster is a discourse and it is pyemic if that something is scientific hold. sent7: there is something such that it is a discourse. sent8: the virgin crows patching. sent9: if there are Methodist and emptying things then the virgin is a semiprofessional. sent10: if something is not pyemic it does crow patching and it is a semiprofessional. ; $proof$ = 
__UNKNOWN__