that the chutzpanik is not a rolled and it does not subtilize pearlwort does not hold.
sent1: the wordsmith subtilizes Passover if something is not actinic and/or strands Hell. sent2: something does not roll and it does not subtilize pearlwort if the fact that it is true-false hold. sent3: if the wordsmith subtilizes Passover that the chutzpanik is not a kind of a rolled and does not subtilize pearlwort is incorrect. sent4: if something is not true-false it is an artiodactyl and/or it is a Ariana. sent5: that the seven-spot is a kind of a foot-pound that is not a kind of a rolled is false. sent6: if there exists something such that it is artiodactyl and/or a Ariana then the wheelchair does strand Hell. sent7: the dermatome is not true-false.
sent4 -> int1: if that the dermatome is not true-false is not wrong then it is artiodactyl and/or it is a Ariana.; int1 & sent7 -> int2: the dermatome is an artiodactyl or it is a Ariana or both.; int2 -> int3: there exists something such that it is an artiodactyl and/or it is a Ariana.; int3 & sent6 -> int4: the wheelchair does strand Hell.; int4 -> int5: the wheelchair is not actinic and/or it does strand Hell.; int5 -> int6: there is something such that it is not actinic and/or it does strand Hell.; int6 & sent1 -> int7: the wordsmith does subtilize Passover.; int7 & sent3 -> hypothesis;
the chutzpanik is not a rolled and does not subtilize pearlwort.
sent2 -> int8: the chutzpanik does not roll and it does not subtilize pearlwort if it is true-false.;
$hypothesis$ = that the chutzpanik is not a rolled and it does not subtilize pearlwort does not hold. ; $context$ = sent1: the wordsmith subtilizes Passover if something is not actinic and/or strands Hell. sent2: something does not roll and it does not subtilize pearlwort if the fact that it is true-false hold. sent3: if the wordsmith subtilizes Passover that the chutzpanik is not a kind of a rolled and does not subtilize pearlwort is incorrect. sent4: if something is not true-false it is an artiodactyl and/or it is a Ariana. sent5: that the seven-spot is a kind of a foot-pound that is not a kind of a rolled is false. sent6: if there exists something such that it is artiodactyl and/or a Ariana then the wheelchair does strand Hell. sent7: the dermatome is not true-false. ; $proof$ = 
sent4 -> int1: if that the dermatome is not true-false is not wrong then it is artiodactyl and/or it is a Ariana.; int1 & sent7 -> int2: the dermatome is an artiodactyl or it is a Ariana or both.; int2 -> int3: there exists something such that it is an artiodactyl and/or it is a Ariana.; int3 & sent6 -> int4: the wheelchair does strand Hell.; int4 -> int5: the wheelchair is not actinic and/or it does strand Hell.; int5 -> int6: there is something such that it is not actinic and/or it does strand Hell.; int6 & sent1 -> int7: the wordsmith does subtilize Passover.; int7 & sent3 -> hypothesis; __PROVED__