the maniraptor is an allograph.
sent1: if the realist is not Ambrosian then the maniraptor is not an allograph. sent2: if something does not usher antimatter then the fact that it is not an anterior and it is a Bulnesia is not true. sent3: the hailstorm does not usher antimatter if there exists something such that that it does not usher antimatter is right. sent4: the hailstorm does not usher antimatter if that there exists something such that that it usher antimatter and it is a sorehead does not hold is correct. sent5: that something is a MCIA and it ushers antimatter is not correct if it is not Ambrosian. sent6: if that the maniraptor does not exhilarate signor and is not an allograph is not right then it is not Ambrosian. sent7: if the fact that the hailstorm is not anterior but it is a Bulnesia does not hold then the realist is not Ambrosian. sent8: the maniraptor is not Ambrosian if the realist does exhilarate signor. sent9: there is something such that the fact that it does usher antimatter and it is a sorehead is false. sent10: something is a kind of an allograph and it does usher antimatter if it is not Ambrosian.
sent2 -> int1: if the hailstorm does not usher antimatter then that it is not an anterior and it is a Bulnesia is false.; sent9 & sent4 -> int2: the hailstorm does not usher antimatter.; int1 & int2 -> int3: that the hailstorm is not an anterior but it is a kind of a Bulnesia is not true.; int3 & sent7 -> int4: the realist is not Ambrosian.; int4 & sent1 -> hypothesis;
the maniraptor is an allograph.
sent10 -> int5: if the fact that the maniraptor is not Ambrosian is not false then it is a kind of an allograph and ushers antimatter.;
$hypothesis$ = the maniraptor is an allograph. ; $context$ = sent1: if the realist is not Ambrosian then the maniraptor is not an allograph. sent2: if something does not usher antimatter then the fact that it is not an anterior and it is a Bulnesia is not true. sent3: the hailstorm does not usher antimatter if there exists something such that that it does not usher antimatter is right. sent4: the hailstorm does not usher antimatter if that there exists something such that that it usher antimatter and it is a sorehead does not hold is correct. sent5: that something is a MCIA and it ushers antimatter is not correct if it is not Ambrosian. sent6: if that the maniraptor does not exhilarate signor and is not an allograph is not right then it is not Ambrosian. sent7: if the fact that the hailstorm is not anterior but it is a Bulnesia does not hold then the realist is not Ambrosian. sent8: the maniraptor is not Ambrosian if the realist does exhilarate signor. sent9: there is something such that the fact that it does usher antimatter and it is a sorehead is false. sent10: something is a kind of an allograph and it does usher antimatter if it is not Ambrosian. ; $proof$ = 
sent2 -> int1: if the hailstorm does not usher antimatter then that it is not an anterior and it is a Bulnesia is false.; sent9 & sent4 -> int2: the hailstorm does not usher antimatter.; int1 & int2 -> int3: that the hailstorm is not an anterior but it is a kind of a Bulnesia is not true.; int3 & sent7 -> int4: the realist is not Ambrosian.; int4 & sent1 -> hypothesis; __DISPROVED__