the horseback is not fascista.
sent1: the horseback wears Omsk. sent2: the horseback is unnoticeable if the Slovenian is a fascista. sent3: the Jew's-ear is a crusher if it is a kind of a fascista. sent4: the horseback is fascista if the Slovenian is nonparticulate. sent5: the Bhutanese is a catapult if the fact that it is a crusher is not false. sent6: the Slovenian charges. sent7: the Slovenian is a Rajab if it is rectal. sent8: the Slovenian is a catapult. sent9: the Slovenian does wear Mussorgsky. sent10: the horseback does catapult. sent11: the plethysmograph is nonparticulate. sent12: that something is not a catapult but non-unnoticeable is false if that it is not nonparticulate is not incorrect. sent13: the Slovenian wears Truman. sent14: something is nonparticulate if it is unnoticeable. sent15: the horseback is unnoticeable if it is fascista. sent16: the underwear is a catapult. sent17: the horseback is a Frisch. sent18: the horseback is not non-fascista if it is nonparticulate. sent19: the Slovenian is unnoticeable and catapults.
sent19 -> int1: the Slovenian is unnoticeable.; sent14 -> int2: if the Slovenian is unnoticeable then that it is nonparticulate hold.; int1 & int2 -> int3: the Slovenian is nonparticulate.; int3 & sent4 -> hypothesis;
the horseback is not a fascista.
sent12 -> int4: if the Slovenian is not nonparticulate then the fact that it does not catapult and it is not unnoticeable does not hold.;
$hypothesis$ = the horseback is not fascista. ; $context$ = sent1: the horseback wears Omsk. sent2: the horseback is unnoticeable if the Slovenian is a fascista. sent3: the Jew's-ear is a crusher if it is a kind of a fascista. sent4: the horseback is fascista if the Slovenian is nonparticulate. sent5: the Bhutanese is a catapult if the fact that it is a crusher is not false. sent6: the Slovenian charges. sent7: the Slovenian is a Rajab if it is rectal. sent8: the Slovenian is a catapult. sent9: the Slovenian does wear Mussorgsky. sent10: the horseback does catapult. sent11: the plethysmograph is nonparticulate. sent12: that something is not a catapult but non-unnoticeable is false if that it is not nonparticulate is not incorrect. sent13: the Slovenian wears Truman. sent14: something is nonparticulate if it is unnoticeable. sent15: the horseback is unnoticeable if it is fascista. sent16: the underwear is a catapult. sent17: the horseback is a Frisch. sent18: the horseback is not non-fascista if it is nonparticulate. sent19: the Slovenian is unnoticeable and catapults. ; $proof$ = 
sent19 -> int1: the Slovenian is unnoticeable.; sent14 -> int2: if the Slovenian is unnoticeable then that it is nonparticulate hold.; int1 & int2 -> int3: the Slovenian is nonparticulate.; int3 & sent4 -> hypothesis; __DISPROVED__