the myxosporidian is not a Troy.
sent1: if something seeps gastrin then the fact that the auk is woolen and it is a jersey does not hold. sent2: something is zymotic thing that is not a kind of a dentition. sent3: something does not sag Geryon and does dictate scouring if that it does not define is not false. sent4: the gastrin seeps colonization if that the auk is a jersey hold. sent5: the myxosporidian is both anticholinergic and Cambodian. sent6: if something is not a Oujda then it is woolen and it does speechify. sent7: if a zymotic thing is not a dentition then the gastrin does not define. sent8: the myxosporidian is a anticholinergic. sent9: the myxosporidian is not a kind of a Troy and it is non-woolen if that it does seep colonization is not wrong. sent10: something does seep colonization if it is a Cambodian. sent11: the gastrin is not a kind of a Oujda if it does not sag Geryon and it does dictate scouring. sent12: if the gastrin is not a Troy then the myxosporidian is a Cambodian but it is not a anticholinergic. sent13: if the spouter does not speechify the openwork seeps gastrin and it is a Whitehorse. sent14: if a Cambodian thing is not anticholinergic the timekeeper does not seep colonization. sent15: if the myxosporidian does seep colonization it is not woolen. sent16: if the openwork seeps gastrin the auk is a jersey. sent17: the auk is a kind of a jersey if the openwork is a kind of a Whitehorse. sent18: something is a anticholinergic if it is not a Cambodian. sent19: the openwork seeps gastrin and/or it is a kind of a Whitehorse. sent20: the spouter does not speechify and is a Oujda. sent21: the myxosporidian is not woolen.
sent5 -> int1: that the myxosporidian is Cambodian is not wrong.; sent10 -> int2: the fact that the myxosporidian does seep colonization is right if it is Cambodian.; int1 & int2 -> int3: the myxosporidian does seep colonization.; int3 & sent9 -> int4: the myxosporidian is not a Troy and is not woolen.; int4 -> hypothesis;
the myxosporidian is a kind of a Troy.
sent18 -> int5: the myxosporidian is a anticholinergic if it is not a Cambodian.; sent6 -> int6: if the gastrin is not a kind of a Oujda it is woolen and it does speechify.; sent3 -> int7: if the gastrin does not define then it does not sag Geryon and dictates scouring.; sent2 & sent7 -> int8: the gastrin does not define.; int7 & int8 -> int9: the gastrin does not sag Geryon but it does dictate scouring.; sent11 & int9 -> int10: the gastrin is not a Oujda.; int6 & int10 -> int11: the gastrin is woolen and does speechify.; int11 -> int12: the fact that the gastrin is woolen is correct.; sent19 & sent16 & sent17 -> int13: the auk is a jersey.; sent4 & int13 -> int14: the gastrin does seep colonization.; int12 & int14 -> int15: the gastrin is woolen and it does seep colonization.; int15 -> int16: there exists something such that it is woolen and it does seep colonization.;
$hypothesis$ = the myxosporidian is not a Troy. ; $context$ = sent1: if something seeps gastrin then the fact that the auk is woolen and it is a jersey does not hold. sent2: something is zymotic thing that is not a kind of a dentition. sent3: something does not sag Geryon and does dictate scouring if that it does not define is not false. sent4: the gastrin seeps colonization if that the auk is a jersey hold. sent5: the myxosporidian is both anticholinergic and Cambodian. sent6: if something is not a Oujda then it is woolen and it does speechify. sent7: if a zymotic thing is not a dentition then the gastrin does not define. sent8: the myxosporidian is a anticholinergic. sent9: the myxosporidian is not a kind of a Troy and it is non-woolen if that it does seep colonization is not wrong. sent10: something does seep colonization if it is a Cambodian. sent11: the gastrin is not a kind of a Oujda if it does not sag Geryon and it does dictate scouring. sent12: if the gastrin is not a Troy then the myxosporidian is a Cambodian but it is not a anticholinergic. sent13: if the spouter does not speechify the openwork seeps gastrin and it is a Whitehorse. sent14: if a Cambodian thing is not anticholinergic the timekeeper does not seep colonization. sent15: if the myxosporidian does seep colonization it is not woolen. sent16: if the openwork seeps gastrin the auk is a jersey. sent17: the auk is a kind of a jersey if the openwork is a kind of a Whitehorse. sent18: something is a anticholinergic if it is not a Cambodian. sent19: the openwork seeps gastrin and/or it is a kind of a Whitehorse. sent20: the spouter does not speechify and is a Oujda. sent21: the myxosporidian is not woolen. ; $proof$ = 
sent5 -> int1: that the myxosporidian is Cambodian is not wrong.; sent10 -> int2: the fact that the myxosporidian does seep colonization is right if it is Cambodian.; int1 & int2 -> int3: the myxosporidian does seep colonization.; int3 & sent9 -> int4: the myxosporidian is not a Troy and is not woolen.; int4 -> hypothesis; __PROVED__