the winch does not outgeneral irreverence.
sent1: the winch does shore empty. sent2: the bacitracin is not a praisworthiness. sent3: the winch is electrical and it does shore empty if it is not a profligacy. sent4: the fact that the winch is not a kind of a Tenebrionidae is not wrong if the C-ration is insular. sent5: if the imam is not a kind of a spiv the fact that the muon is a spiv and it is a bleach is incorrect. sent6: if something that is a constellation is not frictional the imam is not a kind of a praisworthiness. sent7: something is a constellation that is not frictional. sent8: if something is not a praisworthiness then it is not a spiv. sent9: if the C-ration is a spiv the imam is not a mandrill. sent10: the winch is not a Tenebrionidae if the C-ration is a mandrill. sent11: the fact that the C-ration is not electrical is not wrong. sent12: the C-ration is either insular or a mandrill or both if the muon does not shore pox. sent13: if the winch is non-insular then the fact that it is not a Tenebrionidae is true. sent14: the winch is not a profligacy. sent15: if something is not a lunchroom and is biblical then it is a kind of a dogtooth. sent16: something is a profligacy but it is not a praisworthiness. sent17: if something that is not a kind of a Tenebrionidae is electrical it outgenerals irreverence. sent18: the fact that the imam is not a Plataleidae is not wrong. sent19: if the muon is not a bleach the fact that the imam is a praisworthiness but it is not a spiv is not true. sent20: if that something is a spiv and does bleach does not hold the fact that it does not shore pox is not wrong. sent21: something is not insular if it is not a spiv.
sent7 & sent6 -> int1: the imam is not a praisworthiness.; sent8 -> int2: if the fact that the imam is not a praisworthiness is correct then it is not a spiv.; int1 & int2 -> int3: the imam is not a spiv.; int3 & sent5 -> int4: that the muon is a kind of a spiv and it is a bleach is not true.; sent20 -> int5: if the fact that the muon is a spiv and is a bleach is not right then it does not shore pox.; int4 & int5 -> int6: the muon does not shore pox.; int6 & sent12 -> int7: the C-ration is insular and/or it is a mandrill.; int7 & sent4 & sent10 -> int8: that the winch is not a Tenebrionidae is right.; sent3 & sent14 -> int9: the winch is electrical and it does shore empty.; int9 -> int10: the winch is electrical.; int8 & int10 -> int11: the winch is not a Tenebrionidae but it is electrical.; sent17 -> int12: the winch outgenerals irreverence if it is both not a Tenebrionidae and electrical.; int11 & int12 -> hypothesis;
the winch does not outgeneral irreverence.
$hypothesis$ = the winch does not outgeneral irreverence. ; $context$ = sent1: the winch does shore empty. sent2: the bacitracin is not a praisworthiness. sent3: the winch is electrical and it does shore empty if it is not a profligacy. sent4: the fact that the winch is not a kind of a Tenebrionidae is not wrong if the C-ration is insular. sent5: if the imam is not a kind of a spiv the fact that the muon is a spiv and it is a bleach is incorrect. sent6: if something that is a constellation is not frictional the imam is not a kind of a praisworthiness. sent7: something is a constellation that is not frictional. sent8: if something is not a praisworthiness then it is not a spiv. sent9: if the C-ration is a spiv the imam is not a mandrill. sent10: the winch is not a Tenebrionidae if the C-ration is a mandrill. sent11: the fact that the C-ration is not electrical is not wrong. sent12: the C-ration is either insular or a mandrill or both if the muon does not shore pox. sent13: if the winch is non-insular then the fact that it is not a Tenebrionidae is true. sent14: the winch is not a profligacy. sent15: if something is not a lunchroom and is biblical then it is a kind of a dogtooth. sent16: something is a profligacy but it is not a praisworthiness. sent17: if something that is not a kind of a Tenebrionidae is electrical it outgenerals irreverence. sent18: the fact that the imam is not a Plataleidae is not wrong. sent19: if the muon is not a bleach the fact that the imam is a praisworthiness but it is not a spiv is not true. sent20: if that something is a spiv and does bleach does not hold the fact that it does not shore pox is not wrong. sent21: something is not insular if it is not a spiv. ; $proof$ = 
sent7 & sent6 -> int1: the imam is not a praisworthiness.; sent8 -> int2: if the fact that the imam is not a praisworthiness is correct then it is not a spiv.; int1 & int2 -> int3: the imam is not a spiv.; int3 & sent5 -> int4: that the muon is a kind of a spiv and it is a bleach is not true.; sent20 -> int5: if the fact that the muon is a spiv and is a bleach is not right then it does not shore pox.; int4 & int5 -> int6: the muon does not shore pox.; int6 & sent12 -> int7: the C-ration is insular and/or it is a mandrill.; int7 & sent4 & sent10 -> int8: that the winch is not a Tenebrionidae is right.; sent3 & sent14 -> int9: the winch is electrical and it does shore empty.; int9 -> int10: the winch is electrical.; int8 & int10 -> int11: the winch is not a Tenebrionidae but it is electrical.; sent17 -> int12: the winch outgenerals irreverence if it is both not a Tenebrionidae and electrical.; int11 & int12 -> hypothesis; __DISPROVED__