that something is not philological is correct.
sent1: the Rosicrucian is not porphyritic if it is both a scouring and tortious. sent2: if something that does expire WTC is not a kind of an inaugural then it is a scouring. sent3: something that is not Laputan is not philological. sent4: that the Twin does not broadside Manama is right. sent5: if the Rosicrucian is Laputan it expires WTC and is not an inaugural. sent6: if something is not a scouring and it is not Laputan then it is not sober. sent7: the Rosicrucian is homozygous and it is porphyritic.
void -> assump1: Let's assume that the Rosicrucian is Laputan.; sent5 & assump1 -> int1: the Rosicrucian expires WTC but it is not an inaugural.; sent2 -> int2: that if the Rosicrucian does expire WTC and is not the inaugural the Rosicrucian does scour is not wrong.; int1 & int2 -> int3: that the Rosicrucian does scour is correct.; sent7 -> int4: the Rosicrucian is porphyritic.; sent3 -> int5: the Rosicrucian is not philological if it is not Laputan.;
something does not sober.
sent6 -> int6: the Rosicrucian is not sober if it is not a scouring and it is not Laputan.;
$hypothesis$ = that something is not philological is correct. ; $context$ = sent1: the Rosicrucian is not porphyritic if it is both a scouring and tortious. sent2: if something that does expire WTC is not a kind of an inaugural then it is a scouring. sent3: something that is not Laputan is not philological. sent4: that the Twin does not broadside Manama is right. sent5: if the Rosicrucian is Laputan it expires WTC and is not an inaugural. sent6: if something is not a scouring and it is not Laputan then it is not sober. sent7: the Rosicrucian is homozygous and it is porphyritic. ; $proof$ = 
void -> assump1: Let's assume that the Rosicrucian is Laputan.; sent5 & assump1 -> int1: the Rosicrucian expires WTC but it is not an inaugural.; sent2 -> int2: that if the Rosicrucian does expire WTC and is not the inaugural the Rosicrucian does scour is not wrong.; int1 & int2 -> int3: that the Rosicrucian does scour is correct.; sent7 -> int4: the Rosicrucian is porphyritic.; sent3 -> int5: the Rosicrucian is not philological if it is not Laputan.; __UNKNOWN__