the transformer is not a kind of a fusee.
sent1: the fact that the schlock does torment catalufa is not wrong if the Low torments antipope. sent2: the matriculate is incorrigible. sent3: that the mercury does not trephine and it does not bob oxyphencyclimine is wrong if the fact that it does not aurify is right. sent4: the matriculate is not a Acroclinium and mistakes Nyx if it is incorrigible. sent5: the lick is not a Acroclinium if the schlock is amethystine and/or torments antipope. sent6: the Low does torment antipope if that the lick is not a stomp but it is amethystine does not hold. sent7: if the schlock does trephine then that the transformer is not a kind of a fusee hold. sent8: if something does stomp the fact that it is not a turn and is a Frye is not true. sent9: that the pruning is a kind of a stomp that is amethystine if there is something such that it does not torment antipope hold. sent10: something is not amethystine if that it does not torment catalufa and is amethystine is not right. sent11: the fact that if the schlock is a Acroclinium and/or does trephine the transformer is not a fusee is correct. sent12: the schlock does not torment antipope if that something is not a Acroclinium and mistakes Nyx is not false. sent13: the lick stomps. sent14: the fact that the schlock does trephine hold if the fact that the mercury does not trephine and does not bob oxyphencyclimine is not right. sent15: if the schlock does not torment antipope but it trephines the Low does not torment antipope. sent16: the fact that the transformer is a fusee is not wrong if the lick is a fusee. sent17: something is a kind of a fusee and it does stomp if it is not amethystine. sent18: that the mercury does not aurify hold if the fact that the keratohyalin torments timidity and/or it does not aurify is not right.
void -> assump1: Let's assume that that the lick is not a stomp but it is amethystine is not false.; assump1 -> int1: the lick is not a stomp.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the lick is not a stomp but amethystine is incorrect.; int3 & sent6 -> int4: the Low does torment antipope.; int4 & sent1 -> int5: the schlock torments catalufa.;
that the pruning is not a turn but it is a Frye is not correct.
sent8 -> int6: if that the pruning is a stomp is true then that it is both not a turn and a Frye is false.;
$hypothesis$ = the transformer is not a kind of a fusee. ; $context$ = sent1: the fact that the schlock does torment catalufa is not wrong if the Low torments antipope. sent2: the matriculate is incorrigible. sent3: that the mercury does not trephine and it does not bob oxyphencyclimine is wrong if the fact that it does not aurify is right. sent4: the matriculate is not a Acroclinium and mistakes Nyx if it is incorrigible. sent5: the lick is not a Acroclinium if the schlock is amethystine and/or torments antipope. sent6: the Low does torment antipope if that the lick is not a stomp but it is amethystine does not hold. sent7: if the schlock does trephine then that the transformer is not a kind of a fusee hold. sent8: if something does stomp the fact that it is not a turn and is a Frye is not true. sent9: that the pruning is a kind of a stomp that is amethystine if there is something such that it does not torment antipope hold. sent10: something is not amethystine if that it does not torment catalufa and is amethystine is not right. sent11: the fact that if the schlock is a Acroclinium and/or does trephine the transformer is not a fusee is correct. sent12: the schlock does not torment antipope if that something is not a Acroclinium and mistakes Nyx is not false. sent13: the lick stomps. sent14: the fact that the schlock does trephine hold if the fact that the mercury does not trephine and does not bob oxyphencyclimine is not right. sent15: if the schlock does not torment antipope but it trephines the Low does not torment antipope. sent16: the fact that the transformer is a fusee is not wrong if the lick is a fusee. sent17: something is a kind of a fusee and it does stomp if it is not amethystine. sent18: that the mercury does not aurify hold if the fact that the keratohyalin torments timidity and/or it does not aurify is not right. ; $proof$ = 
void -> assump1: Let's assume that that the lick is not a stomp but it is amethystine is not false.; assump1 -> int1: the lick is not a stomp.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the lick is not a stomp but amethystine is incorrect.; int3 & sent6 -> int4: the Low does torment antipope.; int4 & sent1 -> int5: the schlock torments catalufa.; __UNKNOWN__