the regular is sternal.
sent1: if something that is impolite is a redemption then it is not sternal. sent2: if the stoop is sessile thing that is aponeurotic then it is not sternal. sent3: the fact that the regular is sessile hold if the stoop is a kind of a Pacific. sent4: the Colossian is a redemption. sent5: the stoop is not aponeurotic but it does refresh Gentianaceae. sent6: the stoop does refresh Gentianaceae. sent7: something is Pacific if it is not aponeurotic. sent8: something is not a kind of a redemption if it is a kind of sessile thing that is Pacific. sent9: the stoop is sternal. sent10: if that the bighorn is a retirement is not wrong it is myotonic. sent11: if the regular is a kind of Pacific thing that is a redemption then it is not aponeurotic. sent12: if the regular is sessile then it is impolite. sent13: the stoop is impolite. sent14: if something is not gaseous it is polemoniaceous. sent15: the regular is not a kind of a redemption if it is a kind of sternal thing that is a Pacific. sent16: the regular does not dump echinoderm. sent17: the regular is a redemption.
sent5 -> int1: the stoop is not aponeurotic.; sent7 -> int2: if the fact that the stoop is not aponeurotic is true it is a kind of a Pacific.; int1 & int2 -> int3: the stoop is Pacific.; int3 & sent3 -> int4: the regular is sessile.; int4 & sent12 -> int5: the regular is impolite.; int5 & sent17 -> int6: the regular is a kind of impolite a redemption.; sent1 -> int7: that the regular is not sternal is right if it is impolite and it is a redemption.; int6 & int7 -> hypothesis;
$hypothesis$ = the regular is sternal. ; $context$ = sent1: if something that is impolite is a redemption then it is not sternal. sent2: if the stoop is sessile thing that is aponeurotic then it is not sternal. sent3: the fact that the regular is sessile hold if the stoop is a kind of a Pacific. sent4: the Colossian is a redemption. sent5: the stoop is not aponeurotic but it does refresh Gentianaceae. sent6: the stoop does refresh Gentianaceae. sent7: something is Pacific if it is not aponeurotic. sent8: something is not a kind of a redemption if it is a kind of sessile thing that is Pacific. sent9: the stoop is sternal. sent10: if that the bighorn is a retirement is not wrong it is myotonic. sent11: if the regular is a kind of Pacific thing that is a redemption then it is not aponeurotic. sent12: if the regular is sessile then it is impolite. sent13: the stoop is impolite. sent14: if something is not gaseous it is polemoniaceous. sent15: the regular is not a kind of a redemption if it is a kind of sternal thing that is a Pacific. sent16: the regular does not dump echinoderm. sent17: the regular is a redemption. ; $proof$ = 
sent5 -> int1: the stoop is not aponeurotic.; sent7 -> int2: if the fact that the stoop is not aponeurotic is true it is a kind of a Pacific.; int1 & int2 -> int3: the stoop is Pacific.; int3 & sent3 -> int4: the regular is sessile.; int4 & sent12 -> int5: the regular is impolite.; int5 & sent17 -> int6: the regular is a kind of impolite a redemption.; sent1 -> int7: that the regular is not sternal is right if it is impolite and it is a redemption.; int6 & int7 -> hypothesis; __DISPROVED__