the fact that either the saltbush is asymptotic or it is discernible or both is not true.
sent1: the isomerase is not philosophical. sent2: the fact that something is not philosophical and is not a sardine if it is not aggressive is not wrong. sent3: if the fact that the endomorph is aggressive but not nosohusial is not right then that the saltbush is nosohusial is not incorrect. sent4: the hornist is not aggressive if the saltbush is not Ebionite. sent5: that the saltbush is philosophical does not hold. sent6: if the saltbush is not philosophical it is not discernible. sent7: if the endomorph is not aggressive the fact that the saltbush is asymptotic or it is discernible or both is incorrect. sent8: if something is not asymptotic then that it is Ebionite and is discernible is wrong. sent9: if the Kinetoscope is not Ebionite then the saltbush is not aggressive. sent10: something is not Ebionite if that it is not philosophical is not false. sent11: if the saltbush is not aggressive it is asymptotic and/or is discernible. sent12: if the buggy is a kind of a eruditeness then the fact that it is not Ebionite and it is not nosohusial is not correct. sent13: the stickleback is not discernible. sent14: the saltbush is not a Zama if the fact that it is not discernible is true. sent15: the Kinetoscope is a kind of non-nosohusial thing that is not philosophical. sent16: the saltbush is not Ebionite if there is something such that that it is Ebionite and it is discernible is not correct. sent17: if the saltbush is not nosohusial the Kinetoscope is not asymptotic. sent18: the fact that if something is not nosohusial then it is not philosophical is true.
sent10 -> int1: if the Kinetoscope is not philosophical it is not Ebionite.; sent15 -> int2: the Kinetoscope is not philosophical.; int1 & int2 -> int3: the Kinetoscope is not Ebionite.; int3 & sent9 -> int4: the saltbush is not aggressive.; int4 & sent11 -> hypothesis;
the hornist is not philosophical and it is not a kind of a sardine.
sent2 -> int5: the hornist is not philosophical and it is not a sardine if it is not aggressive.; sent8 -> int6: that that the endomorph is Ebionite thing that is discernible is true is not correct if it is not asymptotic.;
$hypothesis$ = the fact that either the saltbush is asymptotic or it is discernible or both is not true. ; $context$ = sent1: the isomerase is not philosophical. sent2: the fact that something is not philosophical and is not a sardine if it is not aggressive is not wrong. sent3: if the fact that the endomorph is aggressive but not nosohusial is not right then that the saltbush is nosohusial is not incorrect. sent4: the hornist is not aggressive if the saltbush is not Ebionite. sent5: that the saltbush is philosophical does not hold. sent6: if the saltbush is not philosophical it is not discernible. sent7: if the endomorph is not aggressive the fact that the saltbush is asymptotic or it is discernible or both is incorrect. sent8: if something is not asymptotic then that it is Ebionite and is discernible is wrong. sent9: if the Kinetoscope is not Ebionite then the saltbush is not aggressive. sent10: something is not Ebionite if that it is not philosophical is not false. sent11: if the saltbush is not aggressive it is asymptotic and/or is discernible. sent12: if the buggy is a kind of a eruditeness then the fact that it is not Ebionite and it is not nosohusial is not correct. sent13: the stickleback is not discernible. sent14: the saltbush is not a Zama if the fact that it is not discernible is true. sent15: the Kinetoscope is a kind of non-nosohusial thing that is not philosophical. sent16: the saltbush is not Ebionite if there is something such that that it is Ebionite and it is discernible is not correct. sent17: if the saltbush is not nosohusial the Kinetoscope is not asymptotic. sent18: the fact that if something is not nosohusial then it is not philosophical is true. ; $proof$ = 
sent10 -> int1: if the Kinetoscope is not philosophical it is not Ebionite.; sent15 -> int2: the Kinetoscope is not philosophical.; int1 & int2 -> int3: the Kinetoscope is not Ebionite.; int3 & sent9 -> int4: the saltbush is not aggressive.; int4 & sent11 -> hypothesis; __DISPROVED__