that the toner is a Scophthalmus but it is not unmodifiable is not true.
sent1: if something is non-Romans it is not a Centaurus. sent2: there exists something such that it is a kind of a Centaurus. sent3: the fact that the Weld is a Romans is true if the medusa is not Romans. sent4: that that the containership is a Kinosternidae and is not unmodifiable is not right is not incorrect. sent5: if that there exists something such that that it is not a Kinosternidae but a Harrisia is not right is not wrong then the ossicle is not a Romans. sent6: the fulmar is not vehicular if the fact that the woofer is both not a configuration and vehicular is incorrect. sent7: the fact that the woofer is not a configuration and not non-vehicular is false. sent8: if there exists something such that it is not a rally then that the stearin is not a Centaurus but it is unmodifiable is not true. sent9: the document does not rally. sent10: if something is not a Centaurus then the Weld is a rally. sent11: that the medusa does measure sabotage and is not non-Romans does not hold if something is not vehicular. sent12: that the toner is a Scophthalmus that is modifiable is incorrect if the medusa is vehicular. sent13: that the toner is a kind of a Scophthalmus that is unmodifiable is not true. sent14: the Weld measures sabotage and is a rally if there is something such that it is not a Centaurus. sent15: if the ossicle is a kind of a Scophthalmus then the toner is a Scophthalmus. sent16: that the containership is both not a Kinosternidae and a Harrisia is wrong. sent17: if the Weld is Romans then the ossicle is a Scophthalmus. sent18: the ossicle is not a kind of a Romans if there is something such that it is not a Harrisia. sent19: the medusa is vehicular if the fact that the Weld measures sabotage is not false. sent20: if the medusa is vehicular that the toner is a Scophthalmus and it is unmodifiable is not true. sent21: the Weld does rally.
sent16 -> int1: there is something such that the fact that it is not a Kinosternidae and is a Harrisia is not right.; int1 & sent5 -> int2: that the ossicle is not a kind of a Romans is right.; sent1 -> int3: if the ossicle is not Romans then it is not a kind of a Centaurus.; int2 & int3 -> int4: the fact that the ossicle is not a Centaurus hold.; int4 -> int5: there is something such that it is not a kind of a Centaurus.; int5 & sent14 -> int6: the Weld does measure sabotage and it rallies.; int6 -> int7: the Weld does measure sabotage.; int7 & sent19 -> int8: the medusa is vehicular.; int8 & sent12 -> hypothesis;
the toner is a kind of a Scophthalmus but it is not unmodifiable.
sent6 & sent7 -> int9: the fulmar is not vehicular.; int9 -> int10: there are non-vehicular things.; int10 & sent11 -> int11: the fact that the medusa measures sabotage and it is a Romans does not hold.; sent9 -> int12: there exists something such that that it is not a rally is true.; int12 & sent8 -> int13: that the stearin is not a kind of a Centaurus but it is unmodifiable is not true.; int13 -> int14: there exists something such that that it is not a Centaurus and is unmodifiable is not true.;
$hypothesis$ = that the toner is a Scophthalmus but it is not unmodifiable is not true. ; $context$ = sent1: if something is non-Romans it is not a Centaurus. sent2: there exists something such that it is a kind of a Centaurus. sent3: the fact that the Weld is a Romans is true if the medusa is not Romans. sent4: that that the containership is a Kinosternidae and is not unmodifiable is not right is not incorrect. sent5: if that there exists something such that that it is not a Kinosternidae but a Harrisia is not right is not wrong then the ossicle is not a Romans. sent6: the fulmar is not vehicular if the fact that the woofer is both not a configuration and vehicular is incorrect. sent7: the fact that the woofer is not a configuration and not non-vehicular is false. sent8: if there exists something such that it is not a rally then that the stearin is not a Centaurus but it is unmodifiable is not true. sent9: the document does not rally. sent10: if something is not a Centaurus then the Weld is a rally. sent11: that the medusa does measure sabotage and is not non-Romans does not hold if something is not vehicular. sent12: that the toner is a Scophthalmus that is modifiable is incorrect if the medusa is vehicular. sent13: that the toner is a kind of a Scophthalmus that is unmodifiable is not true. sent14: the Weld measures sabotage and is a rally if there is something such that it is not a Centaurus. sent15: if the ossicle is a kind of a Scophthalmus then the toner is a Scophthalmus. sent16: that the containership is both not a Kinosternidae and a Harrisia is wrong. sent17: if the Weld is Romans then the ossicle is a Scophthalmus. sent18: the ossicle is not a kind of a Romans if there is something such that it is not a Harrisia. sent19: the medusa is vehicular if the fact that the Weld measures sabotage is not false. sent20: if the medusa is vehicular that the toner is a Scophthalmus and it is unmodifiable is not true. sent21: the Weld does rally. ; $proof$ = 
sent16 -> int1: there is something such that the fact that it is not a Kinosternidae and is a Harrisia is not right.; int1 & sent5 -> int2: that the ossicle is not a kind of a Romans is right.; sent1 -> int3: if the ossicle is not Romans then it is not a kind of a Centaurus.; int2 & int3 -> int4: the fact that the ossicle is not a Centaurus hold.; int4 -> int5: there is something such that it is not a kind of a Centaurus.; int5 & sent14 -> int6: the Weld does measure sabotage and it rallies.; int6 -> int7: the Weld does measure sabotage.; int7 & sent19 -> int8: the medusa is vehicular.; int8 & sent12 -> hypothesis; __PROVED__