the fact that the hiddenite is a citizen and/or it does initiate Wain is false.
sent1: either something is not fertile or it does initiate Wain or both. sent2: that something is not unmanageable or it is not tetravalent or both is not true if it does not accuse. sent3: if something that does initiate stumpknocker is not a hectometer then the Boulder is not heavy-duty. sent4: the Boulder is not a citizen if something is not non-fertile and not heavy-duty. sent5: if the hiddenite is not fertile then the Boulder is a citizen. sent6: if the hiddenite is not heavy-duty and it is not a citizen then it is not fertile. sent7: if something is not fertile and it is not heavy-duty it does not emblazon mulch. sent8: something is not inexpressible or it is tetravalent or both. sent9: there is something such that that it is not a kind of a hectometer is not wrong. sent10: if the Boulder is expressible the hiddenite is not non-fertile and does not emblazon mulch. sent11: there exists something such that it does initiate stumpknocker and it is a hectometer. sent12: the Boulder is not fertile if something is not inexpressible or tetravalent or both. sent13: the Boulder is not fertile if there exists something such that it is tetravalent. sent14: the Boulder is not inexpressible if there is something such that the fact that it is not unmanageable and/or it is not tetravalent is wrong. sent15: a fertile thing that does not emblazon mulch is not heavy-duty. sent16: something is a arthrography or is autotelic or both if it is not heavy-duty. sent17: there is something such that it initiates stumpknocker and it is not a hectometer. sent18: the hiddenite is a citizen if the Boulder does not emblazon mulch.
sent17 & sent3 -> int1: the Boulder is not heavy-duty.; sent8 & sent12 -> int2: the Boulder is not fertile.; int1 & int2 -> int3: the Boulder is not fertile and it is non-heavy-duty.; sent7 -> int4: the Boulder does not emblazon mulch if it is a kind of non-fertile thing that is not heavy-duty.; int3 & int4 -> int5: the Boulder does not emblazon mulch.; int5 & sent18 -> int6: the hiddenite is a kind of a citizen.; int6 -> hypothesis;
the peanut is a arthrography and/or it is not non-autotelic.
sent16 -> int7: either the peanut is a arthrography or it is autotelic or both if it is not heavy-duty.;
$hypothesis$ = the fact that the hiddenite is a citizen and/or it does initiate Wain is false. ; $context$ = sent1: either something is not fertile or it does initiate Wain or both. sent2: that something is not unmanageable or it is not tetravalent or both is not true if it does not accuse. sent3: if something that does initiate stumpknocker is not a hectometer then the Boulder is not heavy-duty. sent4: the Boulder is not a citizen if something is not non-fertile and not heavy-duty. sent5: if the hiddenite is not fertile then the Boulder is a citizen. sent6: if the hiddenite is not heavy-duty and it is not a citizen then it is not fertile. sent7: if something is not fertile and it is not heavy-duty it does not emblazon mulch. sent8: something is not inexpressible or it is tetravalent or both. sent9: there is something such that that it is not a kind of a hectometer is not wrong. sent10: if the Boulder is expressible the hiddenite is not non-fertile and does not emblazon mulch. sent11: there exists something such that it does initiate stumpknocker and it is a hectometer. sent12: the Boulder is not fertile if something is not inexpressible or tetravalent or both. sent13: the Boulder is not fertile if there exists something such that it is tetravalent. sent14: the Boulder is not inexpressible if there is something such that the fact that it is not unmanageable and/or it is not tetravalent is wrong. sent15: a fertile thing that does not emblazon mulch is not heavy-duty. sent16: something is a arthrography or is autotelic or both if it is not heavy-duty. sent17: there is something such that it initiates stumpknocker and it is not a hectometer. sent18: the hiddenite is a citizen if the Boulder does not emblazon mulch. ; $proof$ = 
sent17 & sent3 -> int1: the Boulder is not heavy-duty.; sent8 & sent12 -> int2: the Boulder is not fertile.; int1 & int2 -> int3: the Boulder is not fertile and it is non-heavy-duty.; sent7 -> int4: the Boulder does not emblazon mulch if it is a kind of non-fertile thing that is not heavy-duty.; int3 & int4 -> int5: the Boulder does not emblazon mulch.; int5 & sent18 -> int6: the hiddenite is a kind of a citizen.; int6 -> hypothesis; __DISPROVED__