the fact that the boar is a kind of Olympic thing that is not a Nazi does not hold.
sent1: if a non-Nazi thing is not Olympic then it is not a kind of a Sulla. sent2: if the dichondra is Chian then the petrolatum is a Sulla. sent3: the diamine is a Nazi. sent4: the petrolatum is a kind of a Nazi. sent5: if the fact that the diamine is austenitic hold the petrolatum is not a Sulla and/or it launches kindheartedness. sent6: the fact that the boar is both not non-Olympic and non-Nazi does not hold if that the diamine does launch kindheartedness is not incorrect. sent7: if there exists something such that it is worst and it does not launch boar the shipper does not collect Labor. sent8: the boar is both Olympic and not Nazi if the dichondra is not Chian. sent9: the fact that the boar is Olympic and is a Nazi is not right if the diamine launches kindheartedness. sent10: if the fact that the half-light does not collect Labor is correct then the diamine is both not non-austenitic and estrogenic. sent11: the dichondra is Chian. sent12: if there is something such that it is a centare the surfperch is a worst but it does not launch boar. sent13: the diamine launches kindheartedness if the petrolatum is a kind of a Sulla. sent14: that the dichondra does not launch kindheartedness and is Chian does not hold if there is something such that it is not a kind of a Sulla. sent15: something is not Chian if it is not a Sulla. sent16: if that something is a kind of non-Chian a Sulla does not hold it is Olympic. sent17: the dichondra is not non-Olympic if the boar is Chian. sent18: if the fact that something is not elfin and is not a kind of a centare is incorrect it is a kind of a centare. sent19: if that something does collect Labor and is a reverse is false then it does not collect Labor. sent20: the fact that the reductase is not elfin and is not a centare is incorrect. sent21: that the boar is Olympic and it is a kind of a Nazi is wrong. sent22: that the petrolatum is a kind of a Sulla that does not launch kindheartedness is not right. sent23: if there is something such that it does not collect Labor that the half-light does collect Labor and is a reverse is not correct.
sent2 & sent11 -> int1: the petrolatum is a Sulla.; sent13 & int1 -> int2: the diamine does launch kindheartedness.; sent6 & int2 -> hypothesis;
the boar is Olympic but it is not a kind of a Nazi.
sent16 -> int3: if that the boar is non-Chian thing that is a Sulla is not right then it is Olympic.;
$hypothesis$ = the fact that the boar is a kind of Olympic thing that is not a Nazi does not hold. ; $context$ = sent1: if a non-Nazi thing is not Olympic then it is not a kind of a Sulla. sent2: if the dichondra is Chian then the petrolatum is a Sulla. sent3: the diamine is a Nazi. sent4: the petrolatum is a kind of a Nazi. sent5: if the fact that the diamine is austenitic hold the petrolatum is not a Sulla and/or it launches kindheartedness. sent6: the fact that the boar is both not non-Olympic and non-Nazi does not hold if that the diamine does launch kindheartedness is not incorrect. sent7: if there exists something such that it is worst and it does not launch boar the shipper does not collect Labor. sent8: the boar is both Olympic and not Nazi if the dichondra is not Chian. sent9: the fact that the boar is Olympic and is a Nazi is not right if the diamine launches kindheartedness. sent10: if the fact that the half-light does not collect Labor is correct then the diamine is both not non-austenitic and estrogenic. sent11: the dichondra is Chian. sent12: if there is something such that it is a centare the surfperch is a worst but it does not launch boar. sent13: the diamine launches kindheartedness if the petrolatum is a kind of a Sulla. sent14: that the dichondra does not launch kindheartedness and is Chian does not hold if there is something such that it is not a kind of a Sulla. sent15: something is not Chian if it is not a Sulla. sent16: if that something is a kind of non-Chian a Sulla does not hold it is Olympic. sent17: the dichondra is not non-Olympic if the boar is Chian. sent18: if the fact that something is not elfin and is not a kind of a centare is incorrect it is a kind of a centare. sent19: if that something does collect Labor and is a reverse is false then it does not collect Labor. sent20: the fact that the reductase is not elfin and is not a centare is incorrect. sent21: that the boar is Olympic and it is a kind of a Nazi is wrong. sent22: that the petrolatum is a kind of a Sulla that does not launch kindheartedness is not right. sent23: if there is something such that it does not collect Labor that the half-light does collect Labor and is a reverse is not correct. ; $proof$ = 
sent2 & sent11 -> int1: the petrolatum is a Sulla.; sent13 & int1 -> int2: the diamine does launch kindheartedness.; sent6 & int2 -> hypothesis; __PROVED__