the red does defuse washup and is a linsey-woolsey.
sent1: if there is something such that that it does not flee and defuses alder is not true the modern is a conic. sent2: there exists something such that the fact that it does not flee and it does defuse alder is incorrect. sent3: if the painting is not a ladder-back the fact that that the swallowwort is not a kind of an annotation and does not tag mesenchyme is not incorrect is incorrect. sent4: if the modern is conic the legume is a denunciation. sent5: there is something such that that it does flee and it does defuse alder is incorrect. sent6: something is not a conic if it is not a denunciation. sent7: the modern is a conic if something does not defuse alder. sent8: if something does not possess and it is not jihadi it is not a ladder-back. sent9: the painting does not possess and is not jihadi if the legume is a denunciation. sent10: if the legume is a kind of a denunciation then the painting is not jihadi. sent11: if the painting is not a kind of a ladder-back then that the swallowwort is an annotation that does not tag mesenchyme does not hold. sent12: the swallowwort does possess and it does tag mesenchyme if the painting does not tag mesenchyme. sent13: if the painting does not possess but it is jihadi it is not a ladder-back. sent14: if that the swallowwort is not an annotation and does not tag mesenchyme is wrong it is not a kind of a linsey-woolsey. sent15: that something is not a denunciation is not false if the fact that it possesses and is jihadi is not right. sent16: the red does defuse washup and it is a linsey-woolsey if the swallowwort is not a linsey-woolsey.
sent2 & sent1 -> int1: the modern is a kind of a conic.; int1 & sent4 -> int2: the legume is a denunciation.; int2 & sent9 -> int3: the painting does not possess and is not jihadi.; sent8 -> int4: the painting is not a ladder-back if it does not possess and it is not jihadi.; int3 & int4 -> int5: the painting is not a ladder-back.; int5 & sent3 -> int6: the fact that the swallowwort is not a kind of an annotation and it does not tag mesenchyme is not right.; int6 & sent14 -> int7: the swallowwort is not a linsey-woolsey.; int7 & sent16 -> hypothesis;
that the red does defuse washup and it is a kind of a linsey-woolsey is not correct.
sent6 -> int8: if the fact that the modern is not a denunciation is not wrong then it is not a kind of a conic.; sent15 -> int9: the modern is not a denunciation if that it possesses and is jihadi is not correct.;
$hypothesis$ = the red does defuse washup and is a linsey-woolsey. ; $context$ = sent1: if there is something such that that it does not flee and defuses alder is not true the modern is a conic. sent2: there exists something such that the fact that it does not flee and it does defuse alder is incorrect. sent3: if the painting is not a ladder-back the fact that that the swallowwort is not a kind of an annotation and does not tag mesenchyme is not incorrect is incorrect. sent4: if the modern is conic the legume is a denunciation. sent5: there is something such that that it does flee and it does defuse alder is incorrect. sent6: something is not a conic if it is not a denunciation. sent7: the modern is a conic if something does not defuse alder. sent8: if something does not possess and it is not jihadi it is not a ladder-back. sent9: the painting does not possess and is not jihadi if the legume is a denunciation. sent10: if the legume is a kind of a denunciation then the painting is not jihadi. sent11: if the painting is not a kind of a ladder-back then that the swallowwort is an annotation that does not tag mesenchyme does not hold. sent12: the swallowwort does possess and it does tag mesenchyme if the painting does not tag mesenchyme. sent13: if the painting does not possess but it is jihadi it is not a ladder-back. sent14: if that the swallowwort is not an annotation and does not tag mesenchyme is wrong it is not a kind of a linsey-woolsey. sent15: that something is not a denunciation is not false if the fact that it possesses and is jihadi is not right. sent16: the red does defuse washup and it is a linsey-woolsey if the swallowwort is not a linsey-woolsey. ; $proof$ = 
sent2 & sent1 -> int1: the modern is a kind of a conic.; int1 & sent4 -> int2: the legume is a denunciation.; int2 & sent9 -> int3: the painting does not possess and is not jihadi.; sent8 -> int4: the painting is not a ladder-back if it does not possess and it is not jihadi.; int3 & int4 -> int5: the painting is not a ladder-back.; int5 & sent3 -> int6: the fact that the swallowwort is not a kind of an annotation and it does not tag mesenchyme is not right.; int6 & sent14 -> int7: the swallowwort is not a linsey-woolsey.; int7 & sent16 -> hypothesis; __PROVED__