the bow-tie is aneurysmal and it is basophilic.
sent1: if the chimpanzee is not a wreck then the whippoorwill is not a Macedonian. sent2: there is nothing that is not a Venn and does not ignore woolsorter. sent3: if that the chimpanzee is a kind of a Linum and is not a kind of a roughrider is correct then it is a kind of a Coigue. sent4: the Mercer does refute Manawydan and is not a regulation. sent5: the bow-tie is baric. sent6: if something does not ignore synovia that it is not a Macedonian and does refute Manawydan is not right. sent7: the bow-tie is basophilic and it is rhetorical. sent8: that the floater is a Venn but it does not ignore woolsorter is wrong. sent9: the whippoorwill does not refute Manawydan if there is something such that the fact that it is a kind of non-Macedonian thing that does refute Manawydan is not right. sent10: the fact that the floater either is not baric or is rhetorical or both is incorrect if something is not a wreck. sent11: if something does not refute Manawydan then it does not flick Mercer and it is not aneurysmal. sent12: the fact that that the floater is not a Venn and ignores woolsorter is correct is not right. sent13: if there is something such that it does flick Mercer the bow-tie refutes Manawydan. sent14: the whippoorwill is a Macedonian if something that refutes Manawydan does ignore synovia. sent15: the bow-tie is aneurysmal if it is baric and does not ignore synovia. sent16: if that the floater is not a kind of a Venn and does not ignore woolsorter is false then that the chimpanzee is not a wreck is correct. sent17: the chimpanzee does not ignore synovia if the fact that the floater either is not baric or is rhetorical or both is wrong. sent18: there exists something such that it is not a kind of a wreck.
void -> assump1: Let's assume that the bow-tie does ignore synovia.; sent2 -> int1: the fact that that the floater is not a kind of a Venn and it does not ignore woolsorter hold does not hold.; sent16 & int1 -> int2: the chimpanzee is not a kind of a wreck.; sent1 & int2 -> int3: the whippoorwill is not a Macedonian.; sent7 -> int4: the bow-tie is basophilic.;
that the bow-tie is aneurysmal thing that is basophilic is incorrect.
sent11 -> int5: if the whippoorwill does not refute Manawydan it does not flick Mercer and is not aneurysmal.; sent6 -> int6: if the chimpanzee does not ignore synovia then that it is not Macedonian and it refutes Manawydan is wrong.; sent18 & sent10 -> int7: the fact that the floater either is not baric or is rhetorical or both does not hold.; sent17 & int7 -> int8: the chimpanzee does not ignore synovia.; int6 & int8 -> int9: the fact that the chimpanzee is not a kind of a Macedonian and refutes Manawydan is wrong.; int9 -> int10: there exists something such that that it is not a Macedonian and it does refute Manawydan does not hold.; int10 & sent9 -> int11: the whippoorwill does not refute Manawydan.; int5 & int11 -> int12: the whippoorwill does not flick Mercer and it is not aneurysmal.; int12 -> int13: the whippoorwill is not aneurysmal.; int13 -> int14: there exists something such that it is non-aneurysmal.;
$hypothesis$ = the bow-tie is aneurysmal and it is basophilic. ; $context$ = sent1: if the chimpanzee is not a wreck then the whippoorwill is not a Macedonian. sent2: there is nothing that is not a Venn and does not ignore woolsorter. sent3: if that the chimpanzee is a kind of a Linum and is not a kind of a roughrider is correct then it is a kind of a Coigue. sent4: the Mercer does refute Manawydan and is not a regulation. sent5: the bow-tie is baric. sent6: if something does not ignore synovia that it is not a Macedonian and does refute Manawydan is not right. sent7: the bow-tie is basophilic and it is rhetorical. sent8: that the floater is a Venn but it does not ignore woolsorter is wrong. sent9: the whippoorwill does not refute Manawydan if there is something such that the fact that it is a kind of non-Macedonian thing that does refute Manawydan is not right. sent10: the fact that the floater either is not baric or is rhetorical or both is incorrect if something is not a wreck. sent11: if something does not refute Manawydan then it does not flick Mercer and it is not aneurysmal. sent12: the fact that that the floater is not a Venn and ignores woolsorter is correct is not right. sent13: if there is something such that it does flick Mercer the bow-tie refutes Manawydan. sent14: the whippoorwill is a Macedonian if something that refutes Manawydan does ignore synovia. sent15: the bow-tie is aneurysmal if it is baric and does not ignore synovia. sent16: if that the floater is not a kind of a Venn and does not ignore woolsorter is false then that the chimpanzee is not a wreck is correct. sent17: the chimpanzee does not ignore synovia if the fact that the floater either is not baric or is rhetorical or both is wrong. sent18: there exists something such that it is not a kind of a wreck. ; $proof$ = 
void -> assump1: Let's assume that the bow-tie does ignore synovia.; sent2 -> int1: the fact that that the floater is not a kind of a Venn and it does not ignore woolsorter hold does not hold.; sent16 & int1 -> int2: the chimpanzee is not a kind of a wreck.; sent1 & int2 -> int3: the whippoorwill is not a Macedonian.; sent7 -> int4: the bow-tie is basophilic.; __UNKNOWN__