the broad is not asclepiadaceous and it does not edge colonel.
sent1: the broad is not asclepiadaceous and it does not edge colonel if the likeness is not asclepiadaceous. sent2: something is not a axil and does not edge colonel if it is fragrant. sent3: the likeness does blackmail bust-up but it is not asclepiadaceous if it is not a kind of a caviar. sent4: the likeness is not a caviar. sent5: if something that is not a axil does not edge colonel it is not a kind of a caviar. sent6: if something is a sporting it is fragrant.
sent3 & sent4 -> int1: the likeness does blackmail bust-up but it is non-asclepiadaceous.; int1 -> int2: the likeness is not asclepiadaceous.; sent1 & int2 -> hypothesis;
the shampoo is not a kind of a caviar.
sent5 -> int3: the shampoo is not a kind of a caviar if it is not a axil and does not edge colonel.; sent2 -> int4: the shampoo is not a axil and does not edge colonel if it is fragrant.; sent6 -> int5: that the shampoo is fragrant is not false if it sports.;
$hypothesis$ = the broad is not asclepiadaceous and it does not edge colonel. ; $context$ = sent1: the broad is not asclepiadaceous and it does not edge colonel if the likeness is not asclepiadaceous. sent2: something is not a axil and does not edge colonel if it is fragrant. sent3: the likeness does blackmail bust-up but it is not asclepiadaceous if it is not a kind of a caviar. sent4: the likeness is not a caviar. sent5: if something that is not a axil does not edge colonel it is not a kind of a caviar. sent6: if something is a sporting it is fragrant. ; $proof$ = 
sent3 & sent4 -> int1: the likeness does blackmail bust-up but it is non-asclepiadaceous.; int1 -> int2: the likeness is not asclepiadaceous.; sent1 & int2 -> hypothesis; __PROVED__