the fact that there is something such that if the fact that it is not a pastiche or it is not a perpendicular or both does not hold it is not a kind of a Ariana is wrong.
sent1: something is not a kind of a Ariana if that either it is not a kind of a pastiche or it is not perpendicular or both is false. sent2: the main-topmast does not paw if the fact that it is not nontranslational and/or does not unbend forested is not true. sent3: if that something is not a pastiche and/or is a perpendicular is not right the fact that it is not a kind of a Ariana hold. sent4: there is something such that if it does not tease Greek and/or it is not peaty then it is not a kind of a paw. sent5: there is something such that if either it does not tease bones or it does not unbend metalwork or both then it is not a Kilimanjaro. sent6: the perigon is not a kind of a Ariana if it is not a pastiche or it is not a kind of a perpendicular or both. sent7: the perigon is not a kind of a Ariana if the fact that it is a kind of a pastiche and/or it is not a perpendicular is wrong. sent8: something does not convoy perigon if the fact that it is not a turret and/or is not a kind of a perpendicular is incorrect.
sent1 -> int1: that if the fact that the perigon is not the pastiche and/or is not perpendicular is not true then the perigon is not a Ariana is true.; int1 -> hypothesis;
the perigon does not convoy perigon if the fact that it is not a kind of a turret and/or is not a perpendicular does not hold.
sent8 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is not a pastiche or it is not a perpendicular or both does not hold it is not a kind of a Ariana is wrong. ; $context$ = sent1: something is not a kind of a Ariana if that either it is not a kind of a pastiche or it is not perpendicular or both is false. sent2: the main-topmast does not paw if the fact that it is not nontranslational and/or does not unbend forested is not true. sent3: if that something is not a pastiche and/or is a perpendicular is not right the fact that it is not a kind of a Ariana hold. sent4: there is something such that if it does not tease Greek and/or it is not peaty then it is not a kind of a paw. sent5: there is something such that if either it does not tease bones or it does not unbend metalwork or both then it is not a Kilimanjaro. sent6: the perigon is not a kind of a Ariana if it is not a pastiche or it is not a kind of a perpendicular or both. sent7: the perigon is not a kind of a Ariana if the fact that it is a kind of a pastiche and/or it is not a perpendicular is wrong. sent8: something does not convoy perigon if the fact that it is not a turret and/or is not a kind of a perpendicular is incorrect. ; $proof$ = 
sent1 -> int1: that if the fact that the perigon is not the pastiche and/or is not perpendicular is not true then the perigon is not a Ariana is true.; int1 -> hypothesis; __DISPROVED__