the protoctist is not a simple.
sent1: if something is not a plump and/or is a tetryl it is a tetryl. sent2: the flamen does not listen if something that does not troop berm is dualistic. sent3: if the mousepad is a hilt it is outside. sent4: if the rocker does not torment Rolodex then the berm does not torment Q and does not mistake penknife. sent5: if the fact that the mousepad is a plump and is not a hilt is not right then it is outside. sent6: there exists something such that it is a tetryl. sent7: The frosting does troop mousepad. sent8: the fact that the mousepad is a plump that is not a hilt does not hold if there is something such that that it is not a tetryl is not wrong. sent9: if there exists something such that it is not a tetryl then that the mousepad plumps and it is a hilt does not hold. sent10: if the flamen does not listen that the rocker is a urethra and is wearable is not right. sent11: there is something such that the fact that it is not a hilt hold. sent12: if that the mousepad is a hilt hold it is a simple. sent13: if the berm does not torment Q and it does not mistake penknife then the cutaway torment Q. sent14: that the mousepad is a plump and it is a hilt is not true. sent15: that the orator does not torment catty and does not torment Q is false if there is something such that it does torment Q. sent16: something is not a tetryl. sent17: something is not a plump if the fact that it plump and is not outside is wrong. sent18: if the oarswoman does torment catty that the mousepad does not troop frosting and it is not a kind of a hilt is wrong. sent19: the mousepad does troop frosting. sent20: the protoctist is non-simple if the mousepad does troop frosting and it is outside. sent21: something that is a tetryl is a simple. sent22: if that the orator does not torment catty and does not torment Q is wrong then the oarswoman does torment catty. sent23: there exists something such that it does not troop berm and is dualistic. sent24: if something is not a plump the fact that it is a tetryl and it is a simple is not false. sent25: if that the rocker is both a urethra and wearable does not hold it does not torment Rolodex.
sent16 & sent8 -> int1: that the mousepad does plump but it is not a kind of a hilt is incorrect.; int1 & sent5 -> int2: the mousepad is an outside.; int2 & sent19 -> int3: the mousepad troops frosting and it is outside.; int3 & sent20 -> hypothesis;
the protoctist is a simple.
sent21 -> int4: the protoctist is a simple if it is a tetryl.; sent1 -> int5: if the protoctist is not a plump or is a kind of a tetryl or both it is a tetryl.;
$hypothesis$ = the protoctist is not a simple. ; $context$ = sent1: if something is not a plump and/or is a tetryl it is a tetryl. sent2: the flamen does not listen if something that does not troop berm is dualistic. sent3: if the mousepad is a hilt it is outside. sent4: if the rocker does not torment Rolodex then the berm does not torment Q and does not mistake penknife. sent5: if the fact that the mousepad is a plump and is not a hilt is not right then it is outside. sent6: there exists something such that it is a tetryl. sent7: The frosting does troop mousepad. sent8: the fact that the mousepad is a plump that is not a hilt does not hold if there is something such that that it is not a tetryl is not wrong. sent9: if there exists something such that it is not a tetryl then that the mousepad plumps and it is a hilt does not hold. sent10: if the flamen does not listen that the rocker is a urethra and is wearable is not right. sent11: there is something such that the fact that it is not a hilt hold. sent12: if that the mousepad is a hilt hold it is a simple. sent13: if the berm does not torment Q and it does not mistake penknife then the cutaway torment Q. sent14: that the mousepad is a plump and it is a hilt is not true. sent15: that the orator does not torment catty and does not torment Q is false if there is something such that it does torment Q. sent16: something is not a tetryl. sent17: something is not a plump if the fact that it plump and is not outside is wrong. sent18: if the oarswoman does torment catty that the mousepad does not troop frosting and it is not a kind of a hilt is wrong. sent19: the mousepad does troop frosting. sent20: the protoctist is non-simple if the mousepad does troop frosting and it is outside. sent21: something that is a tetryl is a simple. sent22: if that the orator does not torment catty and does not torment Q is wrong then the oarswoman does torment catty. sent23: there exists something such that it does not troop berm and is dualistic. sent24: if something is not a plump the fact that it is a tetryl and it is a simple is not false. sent25: if that the rocker is both a urethra and wearable does not hold it does not torment Rolodex. ; $proof$ = 
sent16 & sent8 -> int1: that the mousepad does plump but it is not a kind of a hilt is incorrect.; int1 & sent5 -> int2: the mousepad is an outside.; int2 & sent19 -> int3: the mousepad troops frosting and it is outside.; int3 & sent20 -> hypothesis; __PROVED__