the corncrake is not ergonomic.
sent1: the zymase is a querulousness. sent2: the corncrake is not ergonomic if the grenade is ergonomic. sent3: the fact that the corncrake is a continent is not wrong. sent4: something is unwritten if it does redden Miwok. sent5: the fact that if something is a surd it is tongueless is correct. sent6: the corncrake is a kind of a taskmistress if it is iconic. sent7: the fact that something is a querulousness if it is ascomycetous is right. sent8: the corncrake is a kind of a querulousness. sent9: if the fact that something is ascomycetous hold then it reddens Miwok. sent10: if something reddens Miwok then it is a querulousness. sent11: the corncrake is a Pantaloon if it is a stomp. sent12: if the annuitant does regurgitate it is a Balochi. sent13: the corncrake is ascomycetous if it is a querulousness. sent14: if the fact that something is unwritten is not false it is ergonomic. sent15: the corncrake is unwritten if it is cellulosid.
sent13 & sent8 -> int1: the corncrake is ascomycetous.; sent9 -> int2: if the corncrake is ascomycetous then it does redden Miwok.; int1 & int2 -> int3: the corncrake reddens Miwok.; sent4 -> int4: the corncrake is unwritten if it reddens Miwok.; int3 & int4 -> int5: that the corncrake is not written is not wrong.; sent14 -> int6: if the corncrake is unwritten then it is not non-ergonomic.; int5 & int6 -> hypothesis;
the corncrake is not ergonomic.
$hypothesis$ = the corncrake is not ergonomic. ; $context$ = sent1: the zymase is a querulousness. sent2: the corncrake is not ergonomic if the grenade is ergonomic. sent3: the fact that the corncrake is a continent is not wrong. sent4: something is unwritten if it does redden Miwok. sent5: the fact that if something is a surd it is tongueless is correct. sent6: the corncrake is a kind of a taskmistress if it is iconic. sent7: the fact that something is a querulousness if it is ascomycetous is right. sent8: the corncrake is a kind of a querulousness. sent9: if the fact that something is ascomycetous hold then it reddens Miwok. sent10: if something reddens Miwok then it is a querulousness. sent11: the corncrake is a Pantaloon if it is a stomp. sent12: if the annuitant does regurgitate it is a Balochi. sent13: the corncrake is ascomycetous if it is a querulousness. sent14: if the fact that something is unwritten is not false it is ergonomic. sent15: the corncrake is unwritten if it is cellulosid. ; $proof$ = 
sent13 & sent8 -> int1: the corncrake is ascomycetous.; sent9 -> int2: if the corncrake is ascomycetous then it does redden Miwok.; int1 & int2 -> int3: the corncrake reddens Miwok.; sent4 -> int4: the corncrake is unwritten if it reddens Miwok.; int3 & int4 -> int5: that the corncrake is not written is not wrong.; sent14 -> int6: if the corncrake is unwritten then it is not non-ergonomic.; int5 & int6 -> hypothesis; __DISPROVED__