the sow rakes drizzle and is uninformative.
sent1: if the yachtsman is not uninformative then the sow rakes drizzle and it is uninformative. sent2: the directory is flimsy and does not begin metronome if the drizzle is not noncrystalline. sent3: the yachtsman is not uninformative if the directory is flimsy but it does not begin metronome. sent4: if something is not noncrystalline then the fact that it does rake drizzle and it is uninformative is wrong. sent5: the directory is not a maladjustment. sent6: the metronome is not noncrystalline. sent7: the drizzle is not noncrystalline. sent8: the yachtsman does not begin metronome.
sent2 & sent7 -> int1: the directory is flimsy and does not begin metronome.; int1 & sent3 -> int2: the yachtsman is informative.; int2 & sent1 -> hypothesis;
that the sow rakes drizzle and it is uninformative is wrong.
sent4 -> int3: that the sow rakes drizzle and is uninformative is not correct if it is not noncrystalline.;
$hypothesis$ = the sow rakes drizzle and is uninformative. ; $context$ = sent1: if the yachtsman is not uninformative then the sow rakes drizzle and it is uninformative. sent2: the directory is flimsy and does not begin metronome if the drizzle is not noncrystalline. sent3: the yachtsman is not uninformative if the directory is flimsy but it does not begin metronome. sent4: if something is not noncrystalline then the fact that it does rake drizzle and it is uninformative is wrong. sent5: the directory is not a maladjustment. sent6: the metronome is not noncrystalline. sent7: the drizzle is not noncrystalline. sent8: the yachtsman does not begin metronome. ; $proof$ = 
sent2 & sent7 -> int1: the directory is flimsy and does not begin metronome.; int1 & sent3 -> int2: the yachtsman is informative.; int2 & sent1 -> hypothesis; __PROVED__