the hotpot is not tibial.
sent1: there is something such that it is not postnatal. sent2: something is not developmental but it is tibial if it is a kind of an overturn. sent3: if the fact that the insufflation is stored-program but it is not an overturn does not hold then the hotpot is tibial. sent4: if there is something such that that it is stored-program but not a Medford does not hold the mistletoe is an overturn. sent5: the fact that something is stored-program but it is not a Medford is incorrect if it is tribal. sent6: something is non-tribal thing that is a kind of a Medford if it is not stored-program. sent7: the Colossians is a adulteress if the fact that the streptomycin is irresistible is correct. sent8: the Brie is a adulteress if the Colossians is a kind of a adulteress. sent9: the voicemail is a Witherspoon that is not tribal if the channels is infelicitous. sent10: if the hotpot is not a kind of an overturn then that it is not stored-program hold. sent11: something is both a Witherspoon and not non-tribal if it is felicitous. sent12: the fact that something is stored-program but it is not a kind of an overturn is incorrect if it is not a Medford. sent13: something respects Podophyllum if it defaults insufflation. sent14: the Brie does fail and defaults insufflation if something is non-postnatal. sent15: if the voicemail is both a Witherspoon and not tribal the insufflation is not a Medford. sent16: if something is non-tribal a Medford then it is non-tibial.
sent6 -> int1: the hotpot is not tribal but it is a Medford if it is not stored-program.; sent16 -> int2: the hotpot is not tibial if it is not tribal and it is a kind of a Medford.;
the mistletoe is not developmental but it is tibial.
sent2 -> int3: if the mistletoe is an overturn it is not developmental and is tibial.; sent5 -> int4: if the hotpot is tribal the fact that it is stored-program and is not a Medford is wrong.; sent11 -> int5: if the hotpot is not infelicitous it is a Witherspoon and tribal.;
$hypothesis$ = the hotpot is not tibial. ; $context$ = sent1: there is something such that it is not postnatal. sent2: something is not developmental but it is tibial if it is a kind of an overturn. sent3: if the fact that the insufflation is stored-program but it is not an overturn does not hold then the hotpot is tibial. sent4: if there is something such that that it is stored-program but not a Medford does not hold the mistletoe is an overturn. sent5: the fact that something is stored-program but it is not a Medford is incorrect if it is tribal. sent6: something is non-tribal thing that is a kind of a Medford if it is not stored-program. sent7: the Colossians is a adulteress if the fact that the streptomycin is irresistible is correct. sent8: the Brie is a adulteress if the Colossians is a kind of a adulteress. sent9: the voicemail is a Witherspoon that is not tribal if the channels is infelicitous. sent10: if the hotpot is not a kind of an overturn then that it is not stored-program hold. sent11: something is both a Witherspoon and not non-tribal if it is felicitous. sent12: the fact that something is stored-program but it is not a kind of an overturn is incorrect if it is not a Medford. sent13: something respects Podophyllum if it defaults insufflation. sent14: the Brie does fail and defaults insufflation if something is non-postnatal. sent15: if the voicemail is both a Witherspoon and not tribal the insufflation is not a Medford. sent16: if something is non-tribal a Medford then it is non-tibial. ; $proof$ = 
sent6 -> int1: the hotpot is not tribal but it is a Medford if it is not stored-program.; sent16 -> int2: the hotpot is not tibial if it is not tribal and it is a kind of a Medford.; __UNKNOWN__