the fact that the fact that the dissolving is not a areaway but it is a carriageway is not false is wrong.
sent1: if the jaconet is not a Cinnamomum then that it is not appellate and it does not smell pademelon is not correct. sent2: the jaconet is short-order. sent3: the dissolving is not a kind of a areaway if that the fascist is not short-order but it is a areaway is wrong. sent4: that the pademelon does not elongate and is antemortem is incorrect if the fascist is a kind of a areaway. sent5: the fascist does not elongate if it is both Riemannian and not a cheerleader. sent6: that the dissolving is not a kind of a areaway but it is a carriageway is false if the fascist is not antemortem. sent7: if the fact that something does not elongate and is antemortem does not hold it is not short-order. sent8: if that the fascist is both a areaway and not a carriageway does not hold then it is not a cheerleader. sent9: the fact that that the fascist is a carriageway that is antemortem hold is not correct if the dissolving is not short-order. sent10: something is both a areaway and a carriageway if it does not corkscrew fascist. sent11: the fascist is not antemortem if that it is Riemannian and it is not a cheerleader is incorrect. sent12: if the jaconet is short-order then the fact that the fascist elongates is not incorrect. sent13: if the fact that the jaconet is not appellate and it does not smell pademelon does not hold the dissolving is a reciprocal.
void -> assump1: Let's assume that the fascist is Riemannian but not a cheerleader.; sent5 & assump1 -> int1: the fascist does not elongate.; sent12 & sent2 -> int2: the fact that the fascist does elongate hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the fascist is Riemannian but it is not a kind of a cheerleader is not correct.; int4 & sent11 -> int5: the fact that the fascist is not antemortem is not false.; int5 & sent6 -> hypothesis;
the dissolving is not a areaway but it is a carriageway.
$hypothesis$ = the fact that the fact that the dissolving is not a areaway but it is a carriageway is not false is wrong. ; $context$ = sent1: if the jaconet is not a Cinnamomum then that it is not appellate and it does not smell pademelon is not correct. sent2: the jaconet is short-order. sent3: the dissolving is not a kind of a areaway if that the fascist is not short-order but it is a areaway is wrong. sent4: that the pademelon does not elongate and is antemortem is incorrect if the fascist is a kind of a areaway. sent5: the fascist does not elongate if it is both Riemannian and not a cheerleader. sent6: that the dissolving is not a kind of a areaway but it is a carriageway is false if the fascist is not antemortem. sent7: if the fact that something does not elongate and is antemortem does not hold it is not short-order. sent8: if that the fascist is both a areaway and not a carriageway does not hold then it is not a cheerleader. sent9: the fact that that the fascist is a carriageway that is antemortem hold is not correct if the dissolving is not short-order. sent10: something is both a areaway and a carriageway if it does not corkscrew fascist. sent11: the fascist is not antemortem if that it is Riemannian and it is not a cheerleader is incorrect. sent12: if the jaconet is short-order then the fact that the fascist elongates is not incorrect. sent13: if the fact that the jaconet is not appellate and it does not smell pademelon does not hold the dissolving is a reciprocal. ; $proof$ = 
void -> assump1: Let's assume that the fascist is Riemannian but not a cheerleader.; sent5 & assump1 -> int1: the fascist does not elongate.; sent12 & sent2 -> int2: the fact that the fascist does elongate hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the fascist is Riemannian but it is not a kind of a cheerleader is not correct.; int4 & sent11 -> int5: the fact that the fascist is not antemortem is not false.; int5 & sent6 -> hypothesis; __PROVED__