the pointillism is lean.
sent1: that the Thatcherite is not metamorphic and does not outshout innocense is not true if the lasher does not outshout innocense. sent2: if that the Thatcherite is nonmetamorphic but it does not outshout innocense is not right then the pointillism is lean. sent3: the lasher is a fathom if that the pointillism does lean but it does not outshout innocense is false. sent4: the cockhorse is not luteal and it does not fathom. sent5: everything is a kind of an enlarger and does whip. sent6: if something is a kind of a fathom that does outshout innocense it is non-lean. sent7: if something is not nonmetamorphic then it is a fathom and it outshouts innocense. sent8: if the lasher outshouts innocense then the cockhorse does fathom. sent9: if the Thatcherite is not nonmetamorphic the pointillism is lean. sent10: the cockhorse is not luteal and it is not nonmetamorphic if the Thatcherite is curtainless. sent11: if the lasher is not a fathom the xylem outshouts innocense and it leans. sent12: the pointillism is luteal. sent13: something is not unusual if it is an enlarger and it is a kind of a whip.
void -> assump1: Let's assume that the lasher does outshout innocense.; sent8 & assump1 -> int1: the cockhorse does fathom.; sent4 -> int2: the cockhorse does not fathom.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lasher does not outshout innocense.; int4 & sent1 -> int5: the fact that the Thatcherite is nonmetamorphic and does not outshout innocense is not correct.; int5 & sent2 -> hypothesis;
the pointillism is not lean.
sent6 -> int6: if the pointillism fathoms and it does outshout innocense it does not lean.; sent7 -> int7: if the pointillism is not nonmetamorphic it is a fathom that does outshout innocense.; sent13 -> int8: the cockhorse is not unusual if it is an enlarger and it is a whip.; sent5 -> int9: the cockhorse is an enlarger and it is a whip.; int8 & int9 -> int10: the cockhorse is not unusual.; int10 -> int11: everything is not unusual.; int11 -> int12: the lasher is non-unusual.;
$hypothesis$ = the pointillism is lean. ; $context$ = sent1: that the Thatcherite is not metamorphic and does not outshout innocense is not true if the lasher does not outshout innocense. sent2: if that the Thatcherite is nonmetamorphic but it does not outshout innocense is not right then the pointillism is lean. sent3: the lasher is a fathom if that the pointillism does lean but it does not outshout innocense is false. sent4: the cockhorse is not luteal and it does not fathom. sent5: everything is a kind of an enlarger and does whip. sent6: if something is a kind of a fathom that does outshout innocense it is non-lean. sent7: if something is not nonmetamorphic then it is a fathom and it outshouts innocense. sent8: if the lasher outshouts innocense then the cockhorse does fathom. sent9: if the Thatcherite is not nonmetamorphic the pointillism is lean. sent10: the cockhorse is not luteal and it is not nonmetamorphic if the Thatcherite is curtainless. sent11: if the lasher is not a fathom the xylem outshouts innocense and it leans. sent12: the pointillism is luteal. sent13: something is not unusual if it is an enlarger and it is a kind of a whip. ; $proof$ = 
void -> assump1: Let's assume that the lasher does outshout innocense.; sent8 & assump1 -> int1: the cockhorse does fathom.; sent4 -> int2: the cockhorse does not fathom.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the lasher does not outshout innocense.; int4 & sent1 -> int5: the fact that the Thatcherite is nonmetamorphic and does not outshout innocense is not correct.; int5 & sent2 -> hypothesis; __PROVED__