there exists something such that that it does not reconvert and is a planography is false.
sent1: the fact that the willowherb does reconvert and it is a planography is incorrect. sent2: if the Defense is a Lear then it is a aculeus. sent3: the willowherb is not endothermic if it does reconvert and is a planography. sent4: that if the willowherb shivers the willowherb is endothermic is correct. sent5: the locomotive is not endothermic if the biosynthesis is endothermic but it does not pocket. sent6: something that does not reconvert and is a planography is not endothermic. sent7: if the willowherb is not a pocket then that it does shiver is not false. sent8: if the fact that the mill-hand does ladle drop-leaf is right then it does ladle engineering. sent9: the dryopithecine shivers and it is a planography if the locomotive is not endothermic. sent10: there is something such that it does not reconvert and is a planography. sent11: the willowherb is not a pocket. sent12: if the mallee is a cudgel then the Defense is a kind of a Lear.
sent6 -> int1: the willowherb is not endothermic if it does not reconvert and is a kind of a planography.; void -> assump1: Let's assume that the willowherb does not reconvert but it is a kind of a planography.; int1 & assump1 -> int2: the willowherb is not endothermic.; sent7 & sent11 -> int3: the willowherb does shiver.; sent4 & int3 -> int4: the willowherb is endothermic.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the willowherb does not reconvert but it is a planography is not right.; int6 -> hypothesis;
the dryopithecine is a planography.
$hypothesis$ = there exists something such that that it does not reconvert and is a planography is false. ; $context$ = sent1: the fact that the willowherb does reconvert and it is a planography is incorrect. sent2: if the Defense is a Lear then it is a aculeus. sent3: the willowherb is not endothermic if it does reconvert and is a planography. sent4: that if the willowherb shivers the willowherb is endothermic is correct. sent5: the locomotive is not endothermic if the biosynthesis is endothermic but it does not pocket. sent6: something that does not reconvert and is a planography is not endothermic. sent7: if the willowherb is not a pocket then that it does shiver is not false. sent8: if the fact that the mill-hand does ladle drop-leaf is right then it does ladle engineering. sent9: the dryopithecine shivers and it is a planography if the locomotive is not endothermic. sent10: there is something such that it does not reconvert and is a planography. sent11: the willowherb is not a pocket. sent12: if the mallee is a cudgel then the Defense is a kind of a Lear. ; $proof$ = 
sent6 -> int1: the willowherb is not endothermic if it does not reconvert and is a kind of a planography.; void -> assump1: Let's assume that the willowherb does not reconvert but it is a kind of a planography.; int1 & assump1 -> int2: the willowherb is not endothermic.; sent7 & sent11 -> int3: the willowherb does shiver.; sent4 & int3 -> int4: the willowherb is endothermic.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the willowherb does not reconvert but it is a planography is not right.; int6 -> hypothesis; __PROVED__