there is something such that it is both planar and not a poor.
sent1: the longwool is a repulsion and it is Platonic. sent2: that the fact that the jumper crushes is true if there exists something such that the fact that it is planar and it is not a kind of a poor is incorrect is not false. sent3: the longwool does crush but it does not own pimple if the jumper crush. sent4: the villa does introspect and it pecks cloakroom. sent5: that something crushes and does not own pimple is not right if that it is a kind of a repulsion is right. sent6: if that the jumper does crush is not false the longwool is a crush.
void -> assump1: Let's assume that that the scrumpy is planar and is not a poor is incorrect.; assump1 -> int1: there is something such that the fact that it is planar and it is non-poor is false.; int1 & sent2 -> int2: the jumper is a crush.; int2 & sent3 -> int3: the longwool does crush and does not own pimple.; sent5 -> int4: the fact that the longwool does crush and does not own pimple is not true if it is a repulsion.; sent1 -> int5: the longwool is a kind of a repulsion.; int4 & int5 -> int6: that the longwool does crush and does not own pimple is false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the scrumpy is not non-planar and not poor.; int8 -> hypothesis;
$hypothesis$ = there is something such that it is both planar and not a poor. ; $context$ = sent1: the longwool is a repulsion and it is Platonic. sent2: that the fact that the jumper crushes is true if there exists something such that the fact that it is planar and it is not a kind of a poor is incorrect is not false. sent3: the longwool does crush but it does not own pimple if the jumper crush. sent4: the villa does introspect and it pecks cloakroom. sent5: that something crushes and does not own pimple is not right if that it is a kind of a repulsion is right. sent6: if that the jumper does crush is not false the longwool is a crush. ; $proof$ = 
void -> assump1: Let's assume that that the scrumpy is planar and is not a poor is incorrect.; assump1 -> int1: there is something such that the fact that it is planar and it is non-poor is false.; int1 & sent2 -> int2: the jumper is a crush.; int2 & sent3 -> int3: the longwool does crush and does not own pimple.; sent5 -> int4: the fact that the longwool does crush and does not own pimple is not true if it is a repulsion.; sent1 -> int5: the longwool is a kind of a repulsion.; int4 & int5 -> int6: that the longwool does crush and does not own pimple is false.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the scrumpy is not non-planar and not poor.; int8 -> hypothesis; __PROVED__