the horsepond is a Balsamorhiza if that the gangsaw is not a Mercury and is not a blowtorch is wrong.
sent1: the gangsaw is not a kind of a housewrecker and it does not scent cornflower. sent2: if the stratus is not a Joule and is a kind of a alanine then the gangsaw is a pyrite. sent3: if the gangsaw is not a kind of a Mercury and is not a kind of a blowtorch then the horsepond is a kind of a Balsamorhiza. sent4: the trochanter does not service Jespersen. sent5: if the throat is not a kind of a Sarcoptidae then the fact that the silks is both not a Mercury and not a Balsamorhiza is not right. sent6: if the fact that the trochanter is not a Joule and does not fantasize is not true then the stratus is not a Joule. sent7: if the trochanter does not service Jespersen then that it is not a Joule and does not fantasize is not right. sent8: if the fact that something is afloat but it is not a blowtorch is not true then it is not afloat. sent9: the horsepond is not a impingement if there is something such that the fact that it is not a Mercury and not a Balsamorhiza is wrong. sent10: the gangsaw is not a kind of a Mercury. sent11: if something is a pyrite it is not afloat and does persist. sent12: something is not a Sarcoptidae if it does not service Cartesian. sent13: if the throat is not arthromeric but it is a Esox then it does not service Cartesian. sent14: the gangsaw is a Balsamorhiza. sent15: if the fact that something is not afloat hold then the fact that the horsepond is afloat and is not a blowtorch does not hold. sent16: the throat is both not arthromeric and a Esox. sent17: if the fact that the gangsaw is not a Balsamorhiza and is not a blowtorch does not hold the horsepond is a Mercury. sent18: that the gangsaw is not Mediterranean and it is not a ground-shaker is not incorrect. sent19: the stratus is a alanine. sent20: the horsepond is a blowtorch.
void -> assump1: Let's assume that the fact that the gangsaw is not a blowtorch is true.; sent10 & assump1 -> int1: the fact that the gangsaw is not a kind of a Mercury and is not a blowtorch hold.; void -> assump2: Let's assume that the fact that the gangsaw is not a kind of a Mercury and is not a kind of a blowtorch is not right.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the gangsaw is a blowtorch.;
the horsepond is not a impingement and is not afloat.
sent12 -> int4: the throat is not a Sarcoptidae if it does not service Cartesian.; sent13 & sent16 -> int5: the throat does not service Cartesian.; int4 & int5 -> int6: that the throat is not a Sarcoptidae hold.; sent5 & int6 -> int7: the fact that the silks is not a Mercury and not a Balsamorhiza is not correct.; int7 -> int8: there exists something such that that that it is not a Mercury and is not a Balsamorhiza is right is not true.; int8 & sent9 -> int9: the horsepond is not a impingement.; sent8 -> int10: the horsepond is non-afloat if the fact that it is non-afloat and is not a kind of a blowtorch is false.; sent11 -> int11: the gangsaw is not afloat but it does persist if it is a pyrite.; sent7 & sent4 -> int12: the fact that the trochanter is not a Joule and does not fantasize is not right.; sent6 & int12 -> int13: the stratus is not a kind of a Joule.; int13 & sent19 -> int14: the stratus is not a Joule but it is a kind of a alanine.; sent2 & int14 -> int15: the gangsaw is a pyrite.; int11 & int15 -> int16: the gangsaw is not afloat and persists.; int16 -> int17: the gangsaw is not afloat.; int17 -> int18: something is not afloat.; int18 & sent15 -> int19: that the horsepond is afloat and is not a blowtorch does not hold.; int10 & int19 -> int20: the horsepond is not afloat.; int9 & int20 -> hypothesis;
$hypothesis$ = the horsepond is a Balsamorhiza if that the gangsaw is not a Mercury and is not a blowtorch is wrong. ; $context$ = sent1: the gangsaw is not a kind of a housewrecker and it does not scent cornflower. sent2: if the stratus is not a Joule and is a kind of a alanine then the gangsaw is a pyrite. sent3: if the gangsaw is not a kind of a Mercury and is not a kind of a blowtorch then the horsepond is a kind of a Balsamorhiza. sent4: the trochanter does not service Jespersen. sent5: if the throat is not a kind of a Sarcoptidae then the fact that the silks is both not a Mercury and not a Balsamorhiza is not right. sent6: if the fact that the trochanter is not a Joule and does not fantasize is not true then the stratus is not a Joule. sent7: if the trochanter does not service Jespersen then that it is not a Joule and does not fantasize is not right. sent8: if the fact that something is afloat but it is not a blowtorch is not true then it is not afloat. sent9: the horsepond is not a impingement if there is something such that the fact that it is not a Mercury and not a Balsamorhiza is wrong. sent10: the gangsaw is not a kind of a Mercury. sent11: if something is a pyrite it is not afloat and does persist. sent12: something is not a Sarcoptidae if it does not service Cartesian. sent13: if the throat is not arthromeric but it is a Esox then it does not service Cartesian. sent14: the gangsaw is a Balsamorhiza. sent15: if the fact that something is not afloat hold then the fact that the horsepond is afloat and is not a blowtorch does not hold. sent16: the throat is both not arthromeric and a Esox. sent17: if the fact that the gangsaw is not a Balsamorhiza and is not a blowtorch does not hold the horsepond is a Mercury. sent18: that the gangsaw is not Mediterranean and it is not a ground-shaker is not incorrect. sent19: the stratus is a alanine. sent20: the horsepond is a blowtorch. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gangsaw is not a blowtorch is true.; sent10 & assump1 -> int1: the fact that the gangsaw is not a kind of a Mercury and is not a blowtorch hold.; void -> assump2: Let's assume that the fact that the gangsaw is not a kind of a Mercury and is not a kind of a blowtorch is not right.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the gangsaw is a blowtorch.; __UNKNOWN__