the fact that there is something such that if it is not a kind of a undercoated the fact that it is hypodermal and/or it does even Colosseum does not hold is not correct.
sent1: that something is autotrophic and/or it is cardiovascular is wrong if it is not a undercoated. sent2: there exists something such that if it is not a Don then that it is not a downside is not false. sent3: if something is not a undercoated then the fact that either it is hypodermal or it does even Colosseum or both is not true. sent4: something is not hypodermal if it is not a undercoated. sent5: if something is not a kind of a undercoated it is hypodermal or it evens Colosseum or both. sent6: the titanium does not even Phylloscopus if it is not tramontane. sent7: there is something such that if it does not partake that it is a Philippines and/or it does spurt is incorrect. sent8: there is something such that if it is not a kind of a Godhead that it is brimless and/or it is a Albigensianism does not hold. sent9: that the fact that either the alumnus is a kind of a sprog or it is a greenbottle or both is correct is incorrect if it is hypodermal.
sent3 -> int1: if the titanium is not a undercoated the fact that either it is hypodermal or it evens Colosseum or both is not right.; int1 -> hypothesis;
that the itinerant is autotrophic and/or it is cardiovascular does not hold if it is not a kind of a undercoated.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a kind of a undercoated the fact that it is hypodermal and/or it does even Colosseum does not hold is not correct. ; $context$ = sent1: that something is autotrophic and/or it is cardiovascular is wrong if it is not a undercoated. sent2: there exists something such that if it is not a Don then that it is not a downside is not false. sent3: if something is not a undercoated then the fact that either it is hypodermal or it does even Colosseum or both is not true. sent4: something is not hypodermal if it is not a undercoated. sent5: if something is not a kind of a undercoated it is hypodermal or it evens Colosseum or both. sent6: the titanium does not even Phylloscopus if it is not tramontane. sent7: there is something such that if it does not partake that it is a Philippines and/or it does spurt is incorrect. sent8: there is something such that if it is not a kind of a Godhead that it is brimless and/or it is a Albigensianism does not hold. sent9: that the fact that either the alumnus is a kind of a sprog or it is a greenbottle or both is correct is incorrect if it is hypodermal. ; $proof$ = 
sent3 -> int1: if the titanium is not a undercoated the fact that either it is hypodermal or it evens Colosseum or both is not right.; int1 -> hypothesis; __DISPROVED__