there is something such that if the fact that it is a kind of non-recombinant a piggyback is wrong then it is a kind of a booth.
sent1: a booth is non-recombinant thing that does piggyback. sent2: something strains compositor if it is not juridical. sent3: something that is not a kind of a booth is not recombinant but a piggyback. sent4: there is something such that if that it is a recombinant and it is a piggyback is incorrect then it is a booth. sent5: the undesirable is a harpsichordist if it does not offer flintstone. sent6: the fact that something is not a Nicosia but it does strain caddy is not true if it is not a kind of a booth. sent7: if the agnostic is not a recombinant but it is a buck it does strain used-car. sent8: if that something is a lizard's-tail but it does not alibi sauceboat does not hold it is medical. sent9: if the fact that the stopping is a kind of non-medical thing that is not a kind of a counterfeit does not hold the chlordiazepoxide is not a booth. sent10: the fact that that the hydralazine is a lizard's-tail and does not alibi sauceboat is incorrect is not wrong if it is not archegonial. sent11: there is something such that if it is recombinant then the fact that it is a booth is correct. sent12: if something is pedagogical but it does not strain Chartreuse it is not archegonial.
sent3 -> int1: if the undesirable is not a booth it is not recombinant but a piggyback.; void -> assump1: Let's assume that the undesirable is not a kind of a booth.; int1 & assump1 -> int2: the undesirable is not recombinant but it is a piggyback.; void -> assump2: Let's assume that that that the undesirable is non-recombinant a piggyback is not true is not false.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the undesirable is a booth.; [assump2] & int4 -> int5: the undesirable is a kind of a booth if that it is not recombinant and it piggybacks is wrong.; int5 -> hypothesis;
the fact that the chlordiazepoxide is not a Nicosia but it does strain caddy does not hold.
sent6 -> int6: that the chlordiazepoxide is not a kind of a Nicosia but it strains caddy is incorrect if it is not a booth.; sent8 -> int7: if that the hydralazine is a lizard's-tail and does not alibi sauceboat is incorrect it is medical.; sent12 -> int8: the hydralazine is not archegonial if it is pedagogical thing that does not strain Chartreuse.;
$hypothesis$ = there is something such that if the fact that it is a kind of non-recombinant a piggyback is wrong then it is a kind of a booth. ; $context$ = sent1: a booth is non-recombinant thing that does piggyback. sent2: something strains compositor if it is not juridical. sent3: something that is not a kind of a booth is not recombinant but a piggyback. sent4: there is something such that if that it is a recombinant and it is a piggyback is incorrect then it is a booth. sent5: the undesirable is a harpsichordist if it does not offer flintstone. sent6: the fact that something is not a Nicosia but it does strain caddy is not true if it is not a kind of a booth. sent7: if the agnostic is not a recombinant but it is a buck it does strain used-car. sent8: if that something is a lizard's-tail but it does not alibi sauceboat does not hold it is medical. sent9: if the fact that the stopping is a kind of non-medical thing that is not a kind of a counterfeit does not hold the chlordiazepoxide is not a booth. sent10: the fact that that the hydralazine is a lizard's-tail and does not alibi sauceboat is incorrect is not wrong if it is not archegonial. sent11: there is something such that if it is recombinant then the fact that it is a booth is correct. sent12: if something is pedagogical but it does not strain Chartreuse it is not archegonial. ; $proof$ = 
sent3 -> int1: if the undesirable is not a booth it is not recombinant but a piggyback.; void -> assump1: Let's assume that the undesirable is not a kind of a booth.; int1 & assump1 -> int2: the undesirable is not recombinant but it is a piggyback.; void -> assump2: Let's assume that that that the undesirable is non-recombinant a piggyback is not true is not false.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the undesirable is a booth.; [assump2] & int4 -> int5: the undesirable is a kind of a booth if that it is not recombinant and it piggybacks is wrong.; int5 -> hypothesis; __PROVED__