that if the better is linear and is not a streptolysin the gallinule is not a jewel does not hold.
sent1: everything is not apologetics and does not firebomb illiterate. sent2: the gallinule is a kind of a jewel that is a hammer if there exists something such that it does not firebomb Stentor. sent3: the better is not a streptolysin. sent4: the gallinule is not a kind of a jewel if something that is not nonlinear is not a streptolysin. sent5: the gallinule is not a jewel if the better is linear and it is a kind of a streptolysin. sent6: there exists something such that it is linear. sent7: the better is a jewel and not a streptolysin. sent8: something is linear and it is a streptolysin. sent9: if the gallinule is a kind of a jewel then it is reliable thing that is not Ionic.
void -> assump1: Let's assume that the better is linear but it is not a streptolysin.; assump1 -> int1: something is linear but it is not a streptolysin.; int1 & sent4 -> int2: the gallinule is not a kind of a jewel.; [assump1] & int2 -> hypothesis;
something is reliable but it is not Ionic.
sent1 -> int3: the Wiener is not apologetics and it does not firebomb illiterate.;
$hypothesis$ = that if the better is linear and is not a streptolysin the gallinule is not a jewel does not hold. ; $context$ = sent1: everything is not apologetics and does not firebomb illiterate. sent2: the gallinule is a kind of a jewel that is a hammer if there exists something such that it does not firebomb Stentor. sent3: the better is not a streptolysin. sent4: the gallinule is not a kind of a jewel if something that is not nonlinear is not a streptolysin. sent5: the gallinule is not a jewel if the better is linear and it is a kind of a streptolysin. sent6: there exists something such that it is linear. sent7: the better is a jewel and not a streptolysin. sent8: something is linear and it is a streptolysin. sent9: if the gallinule is a kind of a jewel then it is reliable thing that is not Ionic. ; $proof$ = 
void -> assump1: Let's assume that the better is linear but it is not a streptolysin.; assump1 -> int1: something is linear but it is not a streptolysin.; int1 & sent4 -> int2: the gallinule is not a kind of a jewel.; [assump1] & int2 -> hypothesis; __DISPROVED__