the fact that there is something such that if it is not atonalistic it is not a Sagittarius is wrong.
sent1: if the finnan is not atonalistic then it is not a Sagittarius. sent2: if the finnan is not atonalistic it is a Sagittarius. sent3: the finnan is not a Irenaeus if it is a Sagittarius. sent4: if the bonefish is not anhydrous it is not atonalistic. sent5: there exists something such that if it is not atonalistic then it is a Sagittarius. sent6: there exists something such that if it is atonalistic it is not a Sagittarius. sent7: that the butterbur is not a Sagittarius is not false if it is not an employer. sent8: something does not piddle Cantharellus if it is not a kind of a myringotomy. sent9: the metatherian is not a broomcorn if it is not a kind of a Sagittarius. sent10: if the finnan is not atonalistic it does not hum mascara.
sent1 -> hypothesis;
there is something such that if it is not a myringotomy then the fact that it does not piddle Cantharellus hold.
sent8 -> int1: the antihistamine does not piddle Cantharellus if the fact that it is not a myringotomy is correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not atonalistic it is not a Sagittarius is wrong. ; $context$ = sent1: if the finnan is not atonalistic then it is not a Sagittarius. sent2: if the finnan is not atonalistic it is a Sagittarius. sent3: the finnan is not a Irenaeus if it is a Sagittarius. sent4: if the bonefish is not anhydrous it is not atonalistic. sent5: there exists something such that if it is not atonalistic then it is a Sagittarius. sent6: there exists something such that if it is atonalistic it is not a Sagittarius. sent7: that the butterbur is not a Sagittarius is not false if it is not an employer. sent8: something does not piddle Cantharellus if it is not a kind of a myringotomy. sent9: the metatherian is not a broomcorn if it is not a kind of a Sagittarius. sent10: if the finnan is not atonalistic it does not hum mascara. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__