the senna either lobs read or is a Bankhead or both.
sent1: the Lego does not heap dossal. sent2: the senna does heap dossal and is .45-caliber. sent3: the Lego is not a confectioner. sent4: the Lego is not a confectioner and is heraldic. sent5: if something does heap dossal and it is heraldic it is not a kind of a hart's-tongue. sent6: that something does lob read and/or it is a kind of a Bankhead is wrong if it is not a hart's-tongue. sent7: the senna is heraldic if the Lego is not a confectioner but heraldic.
sent2 -> int1: the senna heaps dossal.; sent7 & sent4 -> int2: the senna is heraldic.; int1 & int2 -> int3: the senna does heap dossal and is heraldic.; sent5 -> int4: if the senna does heap dossal and it is heraldic it is not a hart's-tongue.; int3 & int4 -> int5: the senna is not a hart's-tongue.; sent6 -> int6: that the senna does lob read and/or it is a kind of a Bankhead is not right if it is not a kind of a hart's-tongue.; int5 & int6 -> hypothesis;
$hypothesis$ = the senna either lobs read or is a Bankhead or both. ; $context$ = sent1: the Lego does not heap dossal. sent2: the senna does heap dossal and is .45-caliber. sent3: the Lego is not a confectioner. sent4: the Lego is not a confectioner and is heraldic. sent5: if something does heap dossal and it is heraldic it is not a kind of a hart's-tongue. sent6: that something does lob read and/or it is a kind of a Bankhead is wrong if it is not a hart's-tongue. sent7: the senna is heraldic if the Lego is not a confectioner but heraldic. ; $proof$ = 
sent2 -> int1: the senna heaps dossal.; sent7 & sent4 -> int2: the senna is heraldic.; int1 & int2 -> int3: the senna does heap dossal and is heraldic.; sent5 -> int4: if the senna does heap dossal and it is heraldic it is not a hart's-tongue.; int3 & int4 -> int5: the senna is not a hart's-tongue.; sent6 -> int6: that the senna does lob read and/or it is a kind of a Bankhead is not right if it is not a kind of a hart's-tongue.; int5 & int6 -> hypothesis; __DISPROVED__