the cowlick does not sound doodad.
sent1: if there exists something such that it is not a Anglican the cowlick does sound doodad. sent2: the cowlick does not tram if the fact that the kasha does not tram is correct. sent3: there exists something such that the fact that it is deep is not wrong. sent4: there is something such that it is a Anglican and it is virulent. sent5: the cowlick does sound doodad if there exists something such that that it is Anglican and virulent is wrong. sent6: if there is something such that it does not tyrannize the fact that the kasha is a Anglican and it is virulent does not hold. sent7: the cowlick is a Anglican. sent8: there exists something such that it is not a SACLANT. sent9: if something does not tram it is a Anglican and it is virulent. sent10: there is something such that it does not tyrannize. sent11: the fact that the kasha sounds doodad hold if there is something such that it is not Anglican. sent12: the fact that the kasha sounds doodad and it is a kind of a Anglican is false.
sent10 & sent6 -> int1: the fact that the kasha is both not non-Anglican and not non-virulent is not right.; int1 -> int2: there is something such that the fact that it is Anglican and it is virulent is not right.; int2 & sent5 -> hypothesis;
the cowlick does not sound doodad.
sent9 -> int3: the cowlick is both a Anglican and virulent if it does not tram.;
$hypothesis$ = the cowlick does not sound doodad. ; $context$ = sent1: if there exists something such that it is not a Anglican the cowlick does sound doodad. sent2: the cowlick does not tram if the fact that the kasha does not tram is correct. sent3: there exists something such that the fact that it is deep is not wrong. sent4: there is something such that it is a Anglican and it is virulent. sent5: the cowlick does sound doodad if there exists something such that that it is Anglican and virulent is wrong. sent6: if there is something such that it does not tyrannize the fact that the kasha is a Anglican and it is virulent does not hold. sent7: the cowlick is a Anglican. sent8: there exists something such that it is not a SACLANT. sent9: if something does not tram it is a Anglican and it is virulent. sent10: there is something such that it does not tyrannize. sent11: the fact that the kasha sounds doodad hold if there is something such that it is not Anglican. sent12: the fact that the kasha sounds doodad and it is a kind of a Anglican is false. ; $proof$ = 
sent10 & sent6 -> int1: the fact that the kasha is both not non-Anglican and not non-virulent is not right.; int1 -> int2: there is something such that the fact that it is Anglican and it is virulent is not right.; int2 & sent5 -> hypothesis; __DISPROVED__