the throatwort is not nonsectarian.
sent1: if the fact that something is not nonsectarian and does not paganize biosphere is wrong then it is not nonsectarian. sent2: the rodent does not lunch windjammer and is not a highroad if something is not amphoric. sent3: if something that does not laicize is not Shuha the machine paganizes biosphere. sent4: the throatwort is not nonsectarian if the machine is a kind of a highroad or paganizes biosphere or both. sent5: the Basotho is not amphoric. sent6: the salpinx does not laicize and is not Shuha.
sent6 -> int1: there is something such that that it does not laicize and it is not Shuha is right.; int1 & sent3 -> int2: the machine does paganize biosphere.; int2 -> int3: the machine is a highroad and/or paganizes biosphere.; sent4 & int3 -> hypothesis;
the throatwort is nonsectarian.
sent1 -> int4: the throatwort is nonsectarian if the fact that it is not nonsectarian and does not paganize biosphere is not true.; sent5 -> int5: there exists something such that it is not amphoric.; int5 & sent2 -> int6: the rodent does not lunch windjammer and is not a highroad.; int6 -> int7: something does not lunch windjammer and is not a highroad.;
$hypothesis$ = the throatwort is not nonsectarian. ; $context$ = sent1: if the fact that something is not nonsectarian and does not paganize biosphere is wrong then it is not nonsectarian. sent2: the rodent does not lunch windjammer and is not a highroad if something is not amphoric. sent3: if something that does not laicize is not Shuha the machine paganizes biosphere. sent4: the throatwort is not nonsectarian if the machine is a kind of a highroad or paganizes biosphere or both. sent5: the Basotho is not amphoric. sent6: the salpinx does not laicize and is not Shuha. ; $proof$ = 
sent6 -> int1: there is something such that that it does not laicize and it is not Shuha is right.; int1 & sent3 -> int2: the machine does paganize biosphere.; int2 -> int3: the machine is a highroad and/or paganizes biosphere.; sent4 & int3 -> hypothesis; __PROVED__