if the fat does desire then the fact that the waratah does not prickle but it is acarpelous is incorrect.
sent1: that that the waratah does not prickle and desires is true does not hold if there is something such that it is acarpelous. sent2: the PWR is a desire. sent3: that the fat does not prickle but it does desire does not hold if the waratah is acarpelous. sent4: the fat is non-acarpelous thing that does prickle if there exists something such that it desires. sent5: the fact that the waratah is not legal but it does prickle does not hold. sent6: if the fat prickles then the fact that the waratah is non-acarpelous thing that desires is wrong. sent7: if there exists something such that it does desire that the waratah does prickle and is acarpelous is wrong. sent8: if something is a desire then the fact that the fat does not prickle and is not non-acarpelous is incorrect. sent9: something is acarpelous. sent10: the fact that the waratah does prickle and is acarpelous is not correct. sent11: that the fat is a kind of non-acarpelous a desire is not incorrect if there exists something such that it does prickle. sent12: the fact that the fact that the waratah is infantile and it is interstellar is incorrect is not incorrect. sent13: the fact that the waratah does not prickle but it is acarpelous does not hold if there exists something such that it is a kind of a desire. sent14: the fact that the waratah is a desire and it prickles is not right. sent15: the fat prickles. sent16: if there is something such that it does prickle then the fact that the waratah is a kind of a desire and it is acarpelous is false. sent17: if the fat is a desire the fact that the waratah does prickle and is acarpelous is not correct.
void -> assump1: Let's assume that the fat does desire.; assump1 -> int1: something desires.; int1 & sent13 -> int2: that the waratah does not prickle and is acarpelous is incorrect.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the fat does desire then the fact that the waratah does not prickle but it is acarpelous is incorrect. ; $context$ = sent1: that that the waratah does not prickle and desires is true does not hold if there is something such that it is acarpelous. sent2: the PWR is a desire. sent3: that the fat does not prickle but it does desire does not hold if the waratah is acarpelous. sent4: the fat is non-acarpelous thing that does prickle if there exists something such that it desires. sent5: the fact that the waratah is not legal but it does prickle does not hold. sent6: if the fat prickles then the fact that the waratah is non-acarpelous thing that desires is wrong. sent7: if there exists something such that it does desire that the waratah does prickle and is acarpelous is wrong. sent8: if something is a desire then the fact that the fat does not prickle and is not non-acarpelous is incorrect. sent9: something is acarpelous. sent10: the fact that the waratah does prickle and is acarpelous is not correct. sent11: that the fat is a kind of non-acarpelous a desire is not incorrect if there exists something such that it does prickle. sent12: the fact that the fact that the waratah is infantile and it is interstellar is incorrect is not incorrect. sent13: the fact that the waratah does not prickle but it is acarpelous does not hold if there exists something such that it is a kind of a desire. sent14: the fact that the waratah is a desire and it prickles is not right. sent15: the fat prickles. sent16: if there is something such that it does prickle then the fact that the waratah is a kind of a desire and it is acarpelous is false. sent17: if the fat is a desire the fact that the waratah does prickle and is acarpelous is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fat does desire.; assump1 -> int1: something desires.; int1 & sent13 -> int2: that the waratah does not prickle and is acarpelous is incorrect.; [assump1] & int2 -> hypothesis; __PROVED__