that the argentite does even if the success does effuse and is not a bearberry is incorrect.
sent1: if the fact that the chine is both adaxial and even is incorrect the success is not a Defense. sent2: the trainee does not tout Erigeron. sent3: the chine does effuse if the success effuse. sent4: the argentite is not uneven if something is a kind of a Defense and it is a faculty. sent5: the fact that something is not a run-time but it is a turnverein is not true if it does not tout Erigeron. sent6: the argentite is not unequivocal and it is not carbonaceous if the fact that the cleistothecium spurts urate is right. sent7: something spurts urate if it is a kind of a babysitter. sent8: if something is not a kind of a turnverein it is not a kind of a Sambre. sent9: there is something such that it is a kind of a Defense. sent10: the scribe is a kind of a herder and is not a kind of a rondeau if the Gond does tout windmill. sent11: the cleistothecium is a faculty. sent12: the hypotensive does shine. sent13: the chine is a kind of a faculty if the cleistothecium is a faculty. sent14: the fact that if the success effuses and is not a kind of a bearberry then the fact that the chine is a Defense is not incorrect is right. sent15: if the fact that the argentite is not unequivocal hold that the chine is adaxial and it is even does not hold. sent16: the hypotensive is a tadpole if it does shine. sent17: if the scribe is a herder the cleistothecium is a herder. sent18: the trainee is a bearberry and it is a faculty if the success is not a Defense. sent19: the trainee is not a turnverein if that it is not a run-time and it is a turnverein is not right. sent20: the cleistothecium is a babysitter if it is a kind of a herder. sent21: if the hypotensive is a tadpole the Gond touts windmill. sent22: the success is a faculty and it effuses.
void -> assump1: Let's assume that the success effuses and is not a bearberry.; sent14 & assump1 -> int1: the chine is a Defense.; sent13 & sent11 -> int2: the chine is a kind of a faculty.; int1 & int2 -> int3: the chine is a Defense and is a faculty.; int3 -> int4: there exists something such that it is a kind of a Defense and it is a kind of a faculty.; int4 & sent4 -> int5: the argentite evens.; [assump1] & int5 -> hypothesis;
the trainee is a bearberry that is not a Sambre.
sent7 -> int6: the cleistothecium spurts urate if it is a babysitter.; sent16 & sent12 -> int7: the hypotensive is a kind of a tadpole.; sent21 & int7 -> int8: the Gond touts windmill.; sent10 & int8 -> int9: the scribe is a herder but it is not a kind of a rondeau.; int9 -> int10: the scribe is a herder.; sent17 & int10 -> int11: the cleistothecium is a kind of a herder.; sent20 & int11 -> int12: the fact that the cleistothecium is a babysitter hold.; int6 & int12 -> int13: the cleistothecium does spurt urate.; sent6 & int13 -> int14: the argentite is non-unequivocal thing that is not carbonaceous.; int14 -> int15: the argentite is not unequivocal.; sent15 & int15 -> int16: the fact that the chine is adaxial and it does even does not hold.; sent1 & int16 -> int17: the success is not a Defense.; sent18 & int17 -> int18: the trainee is a bearberry and is a faculty.; int18 -> int19: the fact that the trainee is a bearberry hold.; sent8 -> int20: if that the trainee is not a kind of a turnverein is not false it is not a Sambre.; sent5 -> int21: the fact that the trainee is not a run-time and is a kind of a turnverein is not right if it does not tout Erigeron.; int21 & sent2 -> int22: the fact that the trainee is not a run-time but it is a turnverein is not true.; sent19 & int22 -> int23: the trainee is not a turnverein.; int20 & int23 -> int24: the fact that the trainee is not a Sambre is true.; int19 & int24 -> hypothesis;
$hypothesis$ = that the argentite does even if the success does effuse and is not a bearberry is incorrect. ; $context$ = sent1: if the fact that the chine is both adaxial and even is incorrect the success is not a Defense. sent2: the trainee does not tout Erigeron. sent3: the chine does effuse if the success effuse. sent4: the argentite is not uneven if something is a kind of a Defense and it is a faculty. sent5: the fact that something is not a run-time but it is a turnverein is not true if it does not tout Erigeron. sent6: the argentite is not unequivocal and it is not carbonaceous if the fact that the cleistothecium spurts urate is right. sent7: something spurts urate if it is a kind of a babysitter. sent8: if something is not a kind of a turnverein it is not a kind of a Sambre. sent9: there is something such that it is a kind of a Defense. sent10: the scribe is a kind of a herder and is not a kind of a rondeau if the Gond does tout windmill. sent11: the cleistothecium is a faculty. sent12: the hypotensive does shine. sent13: the chine is a kind of a faculty if the cleistothecium is a faculty. sent14: the fact that if the success effuses and is not a kind of a bearberry then the fact that the chine is a Defense is not incorrect is right. sent15: if the fact that the argentite is not unequivocal hold that the chine is adaxial and it is even does not hold. sent16: the hypotensive is a tadpole if it does shine. sent17: if the scribe is a herder the cleistothecium is a herder. sent18: the trainee is a bearberry and it is a faculty if the success is not a Defense. sent19: the trainee is not a turnverein if that it is not a run-time and it is a turnverein is not right. sent20: the cleistothecium is a babysitter if it is a kind of a herder. sent21: if the hypotensive is a tadpole the Gond touts windmill. sent22: the success is a faculty and it effuses. ; $proof$ = 
void -> assump1: Let's assume that the success effuses and is not a bearberry.; sent14 & assump1 -> int1: the chine is a Defense.; sent13 & sent11 -> int2: the chine is a kind of a faculty.; int1 & int2 -> int3: the chine is a Defense and is a faculty.; int3 -> int4: there exists something such that it is a kind of a Defense and it is a kind of a faculty.; int4 & sent4 -> int5: the argentite evens.; [assump1] & int5 -> hypothesis; __DISPROVED__