the Page does not pair haywire and is not a kind of a Jew's-ear.
sent1: something does pair haywire if it is not a Morpheus. sent2: if something does not pare doxology then it is amphoric and swims algidity. sent3: that the scourer is a kind of a Morpheus but it is not amphoric is right if that there exists something such that it does pair NGU is not wrong. sent4: there exists something such that it pairs NGU. sent5: that the scourer does not pare doxology is not wrong if the fact that the Page does not pair haywire and it is not a kind of a Jew's-ear is not right.
void -> assump1: Let's assume that that the Page does not pair haywire and is not a Jew's-ear is false.; sent5 & assump1 -> int1: that the scourer does not pare doxology is right.; sent2 -> int2: if the scourer does not pare doxology it is amphoric and it does swim algidity.; int1 & int2 -> int3: the scourer is amphoric and it swims algidity.; int3 -> int4: the scourer is amphoric.; sent4 & sent3 -> int5: the scourer is a Morpheus but it is not amphoric.; int5 -> int6: the scourer is not amphoric.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the Page does not pair haywire and is not a kind of a Jew's-ear. ; $context$ = sent1: something does pair haywire if it is not a Morpheus. sent2: if something does not pare doxology then it is amphoric and swims algidity. sent3: that the scourer is a kind of a Morpheus but it is not amphoric is right if that there exists something such that it does pair NGU is not wrong. sent4: there exists something such that it pairs NGU. sent5: that the scourer does not pare doxology is not wrong if the fact that the Page does not pair haywire and it is not a kind of a Jew's-ear is not right. ; $proof$ = 
void -> assump1: Let's assume that that the Page does not pair haywire and is not a Jew's-ear is false.; sent5 & assump1 -> int1: that the scourer does not pare doxology is right.; sent2 -> int2: if the scourer does not pare doxology it is amphoric and it does swim algidity.; int1 & int2 -> int3: the scourer is amphoric and it swims algidity.; int3 -> int4: the scourer is amphoric.; sent4 & sent3 -> int5: the scourer is a Morpheus but it is not amphoric.; int5 -> int6: the scourer is not amphoric.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__