that if the roof does not beckon Labrador the kitbag is not a television does not hold.
sent1: if the kitbag beckons Labrador that the roof is not a Caddo hold. sent2: the kitbag does cutinize and is a Caddo. sent3: the roof beckons Labrador if something is a Caddo and is a television.
sent2 -> int1: the fact that the kitbag is a Caddo is not false.; void -> assump1: Let's assume that the kitbag is a kind of a television.; int1 & assump1 -> int2: the kitbag is a Caddo and it is a television.; int2 -> int3: there exists something such that it is a Caddo and it is a television.; int3 & sent3 -> int4: the roof beckons Labrador.; void -> assump2: Let's assume that the roof does not beckon Labrador.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the kitbag is not a television.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that if the roof does not beckon Labrador the kitbag is not a television does not hold. ; $context$ = sent1: if the kitbag beckons Labrador that the roof is not a Caddo hold. sent2: the kitbag does cutinize and is a Caddo. sent3: the roof beckons Labrador if something is a Caddo and is a television. ; $proof$ = 
sent2 -> int1: the fact that the kitbag is a Caddo is not false.; void -> assump1: Let's assume that the kitbag is a kind of a television.; int1 & assump1 -> int2: the kitbag is a Caddo and it is a television.; int2 -> int3: there exists something such that it is a Caddo and it is a television.; int3 & sent3 -> int4: the roof beckons Labrador.; void -> assump2: Let's assume that the roof does not beckon Labrador.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the kitbag is not a television.; [assump2] & int6 -> hypothesis; __DISPROVED__