the oarfish does not warm trimmed.
sent1: the fact that the clansman is inconsiderable is true. sent2: if the clansman does drink broadax that it is anuran hold. sent3: the clansman does not warm trimmed if it does not warm chutzpanik. sent4: the clansman drinks broadax. sent5: if the clansman does not warm trimmed then the oarfish does not blacktop and does warm trimmed. sent6: if the clansman is anuran and is inconsiderable it does not warm chutzpanik. sent7: The broadax drinks clansman.
sent2 & sent4 -> int1: the clansman is anuran.; int1 & sent1 -> int2: the clansman is anuran and is inconsiderable.; int2 & sent6 -> int3: the clansman does not warm chutzpanik.; int3 & sent3 -> int4: the clansman does not warm trimmed.; int4 & sent5 -> int5: the oarfish is not a kind of a blacktop but it warms trimmed.; int5 -> hypothesis;
$hypothesis$ = the oarfish does not warm trimmed. ; $context$ = sent1: the fact that the clansman is inconsiderable is true. sent2: if the clansman does drink broadax that it is anuran hold. sent3: the clansman does not warm trimmed if it does not warm chutzpanik. sent4: the clansman drinks broadax. sent5: if the clansman does not warm trimmed then the oarfish does not blacktop and does warm trimmed. sent6: if the clansman is anuran and is inconsiderable it does not warm chutzpanik. sent7: The broadax drinks clansman. ; $proof$ = 
sent2 & sent4 -> int1: the clansman is anuran.; int1 & sent1 -> int2: the clansman is anuran and is inconsiderable.; int2 & sent6 -> int3: the clansman does not warm chutzpanik.; int3 & sent3 -> int4: the clansman does not warm trimmed.; int4 & sent5 -> int5: the oarfish is not a kind of a blacktop but it warms trimmed.; int5 -> hypothesis; __DISPROVED__