the haggler is not a Pylodictus.
sent1: the shift is not a Rajab if the princess lysogenizes snowblindness but it is not cucurbitaceous. sent2: the haggler is a kind of a bellow if there is something such that that it is a Pylodictus and it is a kind of a Rajab is false. sent3: the scheelite is not cucurbitaceous if it lysogenizes snowblindness. sent4: the scheelite is cucurbitaceous if something that is a Pylodictus is a kind of a Rajab. sent5: the scheelite lysogenizes snowblindness. sent6: something is bulbaceous and it is a rage if it is not cucurbitaceous. sent7: The snowblindness lysogenizes scheelite. sent8: the scheelite does besot princess and it lysogenizes grison. sent9: there is something such that it is a Pylodictus. sent10: the haggler is a rage. sent11: that the haggler is a rage and it is a kind of a Rajab is not incorrect. sent12: there is something such that it is a Rajab. sent13: the fact that the haggler is cucurbitaceous does not hold. sent14: the fact that the scheelite is both a Pylodictus and a Rajab is not right. sent15: that the fact that the haggler does not lysogenize snowblindness hold does not hold. sent16: the loggerhead is cucurbitaceous. sent17: the scheelite is a Pylodictus.
sent11 -> int1: the haggler is a kind of a Rajab.; void -> assump1: Let's assume that the haggler is a Pylodictus.; int1 & assump1 -> int2: the haggler is a Pylodictus and is a kind of a Rajab.; int2 -> int3: something is a Pylodictus and it is a Rajab.; int3 & sent4 -> int4: that the scheelite is cucurbitaceous is right.; sent3 & sent5 -> int5: the scheelite is not cucurbitaceous.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
there exists something such that it is a kind of bulbaceous thing that bellows.
sent6 -> int7: the haggler is a kind of bulbaceous thing that is a rage if it is not cucurbitaceous.; sent14 -> int8: there exists something such that the fact that it is a kind of a Pylodictus and it is a kind of a Rajab is false.; int8 & sent2 -> int9: the haggler bellows.;
$hypothesis$ = the haggler is not a Pylodictus. ; $context$ = sent1: the shift is not a Rajab if the princess lysogenizes snowblindness but it is not cucurbitaceous. sent2: the haggler is a kind of a bellow if there is something such that that it is a Pylodictus and it is a kind of a Rajab is false. sent3: the scheelite is not cucurbitaceous if it lysogenizes snowblindness. sent4: the scheelite is cucurbitaceous if something that is a Pylodictus is a kind of a Rajab. sent5: the scheelite lysogenizes snowblindness. sent6: something is bulbaceous and it is a rage if it is not cucurbitaceous. sent7: The snowblindness lysogenizes scheelite. sent8: the scheelite does besot princess and it lysogenizes grison. sent9: there is something such that it is a Pylodictus. sent10: the haggler is a rage. sent11: that the haggler is a rage and it is a kind of a Rajab is not incorrect. sent12: there is something such that it is a Rajab. sent13: the fact that the haggler is cucurbitaceous does not hold. sent14: the fact that the scheelite is both a Pylodictus and a Rajab is not right. sent15: that the fact that the haggler does not lysogenize snowblindness hold does not hold. sent16: the loggerhead is cucurbitaceous. sent17: the scheelite is a Pylodictus. ; $proof$ = 
sent11 -> int1: the haggler is a kind of a Rajab.; void -> assump1: Let's assume that the haggler is a Pylodictus.; int1 & assump1 -> int2: the haggler is a Pylodictus and is a kind of a Rajab.; int2 -> int3: something is a Pylodictus and it is a Rajab.; int3 & sent4 -> int4: that the scheelite is cucurbitaceous is right.; sent3 & sent5 -> int5: the scheelite is not cucurbitaceous.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__