the entrance is a kind of non-abundant thing that is not a hart.
sent1: the gauntlet tusks thermocoagulation if the telephone is a showman. sent2: if that the telephone does tusk bryony and is not a kind of a showman does not hold then the gauntlet tusks thermocoagulation. sent3: the thermocoagulation is euphemistic. sent4: if the thermocoagulation is not grammatical the gauntlet is therapeutic but it is not grammatical. sent5: something is not abundant if it is not euphemistic or is a anabolism or both. sent6: the entrance is not a hart if the thermocoagulation is not abundant. sent7: if the gauntlet does tusk thermocoagulation then the fact that it is totipotent hold. sent8: if the thermocoagulation is not abundant then the entrance is abundant thing that is not a hart. sent9: something is not a anabolism if it does tusk thermocoagulation and is totipotent. sent10: something is not totipotent if it is not therapeutic and it is grammatical. sent11: the fact that something is not abundant and is not a hart is incorrect if it is not totipotent. sent12: something is not totipotent if it is therapeutic and it is not grammatical. sent13: the fact that the telephone tusks bryony and it is a showman is not right. sent14: something is not grammatical if the fact that either it is not euphemistic or it is a kind of a anabolism or both is incorrect. sent15: if the thermocoagulation is not euphemistic then it is not abundant.
sent14 -> int1: if the fact that the thermocoagulation is not euphemistic and/or it is a anabolism is not correct then it is not grammatical.; void -> assump1: Let's assume that that the thermocoagulation is not euphemistic and/or it is a kind of a anabolism does not hold.; int1 & assump1 -> int2: the fact that the thermocoagulation is not grammatical is not false.; int2 & sent4 -> int3: the gauntlet is therapeutic and is ungrammatical.; sent12 -> int4: the gauntlet is not totipotent if it is therapeutic and is not grammatical.; int3 & int4 -> int5: the gauntlet is not totipotent.; sent5 -> int6: the fact that if the thermocoagulation is not euphemistic or it is the anabolism or both that the thermocoagulation is not abundant is not wrong is not false.;
the fact that the entrance is not abundant and it is not a kind of a hart is not true.
sent11 -> int7: the fact that the entrance is non-abundant thing that is not a hart is incorrect if it is not totipotent.; sent10 -> int8: if the entrance is not therapeutic but it is grammatical then it is not totipotent.;
$hypothesis$ = the entrance is a kind of non-abundant thing that is not a hart. ; $context$ = sent1: the gauntlet tusks thermocoagulation if the telephone is a showman. sent2: if that the telephone does tusk bryony and is not a kind of a showman does not hold then the gauntlet tusks thermocoagulation. sent3: the thermocoagulation is euphemistic. sent4: if the thermocoagulation is not grammatical the gauntlet is therapeutic but it is not grammatical. sent5: something is not abundant if it is not euphemistic or is a anabolism or both. sent6: the entrance is not a hart if the thermocoagulation is not abundant. sent7: if the gauntlet does tusk thermocoagulation then the fact that it is totipotent hold. sent8: if the thermocoagulation is not abundant then the entrance is abundant thing that is not a hart. sent9: something is not a anabolism if it does tusk thermocoagulation and is totipotent. sent10: something is not totipotent if it is not therapeutic and it is grammatical. sent11: the fact that something is not abundant and is not a hart is incorrect if it is not totipotent. sent12: something is not totipotent if it is therapeutic and it is not grammatical. sent13: the fact that the telephone tusks bryony and it is a showman is not right. sent14: something is not grammatical if the fact that either it is not euphemistic or it is a kind of a anabolism or both is incorrect. sent15: if the thermocoagulation is not euphemistic then it is not abundant. ; $proof$ = 
sent14 -> int1: if the fact that the thermocoagulation is not euphemistic and/or it is a anabolism is not correct then it is not grammatical.; void -> assump1: Let's assume that that the thermocoagulation is not euphemistic and/or it is a kind of a anabolism does not hold.; int1 & assump1 -> int2: the fact that the thermocoagulation is not grammatical is not false.; int2 & sent4 -> int3: the gauntlet is therapeutic and is ungrammatical.; sent12 -> int4: the gauntlet is not totipotent if it is therapeutic and is not grammatical.; int3 & int4 -> int5: the gauntlet is not totipotent.; sent5 -> int6: the fact that if the thermocoagulation is not euphemistic or it is the anabolism or both that the thermocoagulation is not abundant is not wrong is not false.; __UNKNOWN__