the weka is Saxon and it is idiopathic.
sent1: there is something such that that it does not headquarter Botaurus and it is not profound is incorrect. sent2: that the capillary is not impartial and it does not headquarter Botaurus does not hold if the trombonist does not outgeneral clampdown. sent3: if the trombonist is not a kind of a pause and it does not meditate the lifesaver does not headquarter Botaurus. sent4: the weka is idiopathic if the fact that it is cousinly is not false. sent5: the lifesaver does headquarter Botaurus if there exists something such that that it does not headquarter Botaurus and is not profound does not hold. sent6: if the fact that something is not impartial and it does not headquarter Botaurus does not hold it is idiopathic. sent7: the trombonist is not a kind of a pause and it does not meditate if it is not impartial. sent8: if the fact that the disputant is bronchoscopic hold then the fact that the lifesaver deteriorates but it is not profound does not hold. sent9: the weka is a Saxon. sent10: if the disputant outgenerals clampdown the weka is cousinly. sent11: if the trombonist is impartial the disputant does outgeneral clampdown. sent12: that something is Saxon and idiopathic is incorrect if that it is not impartial is not false. sent13: there is something such that the fact that it dings Restoration and it does bite is wrong. sent14: if there is something such that the fact that it does ding Restoration and bites is not true that the lifesaver does not ding Restoration is correct. sent15: the disputant does not ding Set. sent16: if the fact that something deteriorates but it is not profound does not hold it does not outgeneral clampdown. sent17: the disputant is bronchoscopic and it is a Mexican if it does not ding Set. sent18: the lifesaver is not a worry and it is not cousinly if it does not ding Restoration. sent19: if the trombonist does not headquarter Botaurus then the weka is not impartial.
void -> assump1: Let's assume that the trombonist is not impartial.; sent7 & assump1 -> int1: the trombonist is not a pause and does not meditate.; int1 & sent3 -> int2: the lifesaver does not headquarter Botaurus.; sent1 & sent5 -> int3: the lifesaver does headquarter Botaurus.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the trombonist is impartial is not false.; int5 & sent11 -> int6: the disputant outgenerals clampdown.; int6 & sent10 -> int7: the weka is cousinly.; int7 & sent4 -> int8: the weka is idiopathic.; int8 & sent9 -> hypothesis;
the capillary is idiopathic.
sent6 -> int9: the capillary is idiopathic if that it is non-impartial thing that does not headquarter Botaurus does not hold.;
$hypothesis$ = the weka is Saxon and it is idiopathic. ; $context$ = sent1: there is something such that that it does not headquarter Botaurus and it is not profound is incorrect. sent2: that the capillary is not impartial and it does not headquarter Botaurus does not hold if the trombonist does not outgeneral clampdown. sent3: if the trombonist is not a kind of a pause and it does not meditate the lifesaver does not headquarter Botaurus. sent4: the weka is idiopathic if the fact that it is cousinly is not false. sent5: the lifesaver does headquarter Botaurus if there exists something such that that it does not headquarter Botaurus and is not profound does not hold. sent6: if the fact that something is not impartial and it does not headquarter Botaurus does not hold it is idiopathic. sent7: the trombonist is not a kind of a pause and it does not meditate if it is not impartial. sent8: if the fact that the disputant is bronchoscopic hold then the fact that the lifesaver deteriorates but it is not profound does not hold. sent9: the weka is a Saxon. sent10: if the disputant outgenerals clampdown the weka is cousinly. sent11: if the trombonist is impartial the disputant does outgeneral clampdown. sent12: that something is Saxon and idiopathic is incorrect if that it is not impartial is not false. sent13: there is something such that the fact that it dings Restoration and it does bite is wrong. sent14: if there is something such that the fact that it does ding Restoration and bites is not true that the lifesaver does not ding Restoration is correct. sent15: the disputant does not ding Set. sent16: if the fact that something deteriorates but it is not profound does not hold it does not outgeneral clampdown. sent17: the disputant is bronchoscopic and it is a Mexican if it does not ding Set. sent18: the lifesaver is not a worry and it is not cousinly if it does not ding Restoration. sent19: if the trombonist does not headquarter Botaurus then the weka is not impartial. ; $proof$ = 
void -> assump1: Let's assume that the trombonist is not impartial.; sent7 & assump1 -> int1: the trombonist is not a pause and does not meditate.; int1 & sent3 -> int2: the lifesaver does not headquarter Botaurus.; sent1 & sent5 -> int3: the lifesaver does headquarter Botaurus.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the trombonist is impartial is not false.; int5 & sent11 -> int6: the disputant outgenerals clampdown.; int6 & sent10 -> int7: the weka is cousinly.; int7 & sent4 -> int8: the weka is idiopathic.; int8 & sent9 -> hypothesis; __PROVED__