the Best is both a Ismaili and a latter.
sent1: the strawman is not a latter and is not a constipation. sent2: the fact that the Best is a latter is right. sent3: the graviton does not lob SSA if it is not unscholarly and it is not impressionist. sent4: if the fact that the graviton does not lob SSA hold then the hairdresser lob SSA and is not inelastic. sent5: the hairdresser is an impressionist. sent6: there exists something such that it is a kind of a Ismaili. sent7: if the hairdresser does not mop that it is a kind of inelastic thing that does lob SSA is false. sent8: the Best is not impressionist. sent9: there exists something such that it does lob SSA. sent10: the Best is inelastic. sent11: something does criticize constipation. sent12: if something that does lob SSA is not inelastic the Best is a kind of a Ismaili. sent13: that something is unscholarly but it does not criticize constipation is wrong if it is a kind of an impressionist. sent14: the fact that the hairdresser is not a uakari but it criticizes inducement is false. sent15: if there exists something such that it lobs SSA then the hairdresser is not a latter and it is not a Ismaili. sent16: the graviton is scholarly and is not an impressionist if something does criticize constipation. sent17: that the graviton does not lob SSA is not false if it is unscholarly and it is not a kind of an impressionist. sent18: if the fact that the hairdresser is a kind of an impressionist and is unscholarly does not hold the graviton is not unscholarly. sent19: if the graviton is not a Ismaili then the Best is a Ismaili. sent20: if the graviton expels and does not criticize constipation then it does not lob virtuosity. sent21: if that something is unscholarly but it does not criticize constipation is incorrect it is not a latter. sent22: if that that the hairdresser is not a uakari but it does criticize inducement is false is true then it does not mop. sent23: there is something such that it is not scholarly and it is not a Ismaili.
sent11 & sent16 -> int1: the graviton is not unscholarly and is not an impressionist.; int1 & sent3 -> int2: the graviton does not lob SSA.; int2 & sent4 -> int3: the hairdresser does lob SSA and is not inelastic.; int3 -> int4: something does lob SSA and is not inelastic.; int4 & sent12 -> int5: the Best is Ismaili.; int5 & sent2 -> hypothesis;
that the Best is both a Ismaili and a latter is false.
sent21 -> int6: the graviton is not latter if the fact that that it is unscholarly and it does not criticize constipation hold is not correct.; sent13 -> int7: that the graviton is unscholarly and does not criticize constipation is wrong if it is an impressionist.; sent22 & sent14 -> int8: that the hairdresser does not mop is not false.; sent7 & int8 -> int9: the fact that the hairdresser is inelastic and it does lob SSA does not hold.; int9 -> int10: there exists something such that the fact that it is inelastic and it does lob SSA is incorrect.;
$hypothesis$ = the Best is both a Ismaili and a latter. ; $context$ = sent1: the strawman is not a latter and is not a constipation. sent2: the fact that the Best is a latter is right. sent3: the graviton does not lob SSA if it is not unscholarly and it is not impressionist. sent4: if the fact that the graviton does not lob SSA hold then the hairdresser lob SSA and is not inelastic. sent5: the hairdresser is an impressionist. sent6: there exists something such that it is a kind of a Ismaili. sent7: if the hairdresser does not mop that it is a kind of inelastic thing that does lob SSA is false. sent8: the Best is not impressionist. sent9: there exists something such that it does lob SSA. sent10: the Best is inelastic. sent11: something does criticize constipation. sent12: if something that does lob SSA is not inelastic the Best is a kind of a Ismaili. sent13: that something is unscholarly but it does not criticize constipation is wrong if it is a kind of an impressionist. sent14: the fact that the hairdresser is not a uakari but it criticizes inducement is false. sent15: if there exists something such that it lobs SSA then the hairdresser is not a latter and it is not a Ismaili. sent16: the graviton is scholarly and is not an impressionist if something does criticize constipation. sent17: that the graviton does not lob SSA is not false if it is unscholarly and it is not a kind of an impressionist. sent18: if the fact that the hairdresser is a kind of an impressionist and is unscholarly does not hold the graviton is not unscholarly. sent19: if the graviton is not a Ismaili then the Best is a Ismaili. sent20: if the graviton expels and does not criticize constipation then it does not lob virtuosity. sent21: if that something is unscholarly but it does not criticize constipation is incorrect it is not a latter. sent22: if that that the hairdresser is not a uakari but it does criticize inducement is false is true then it does not mop. sent23: there is something such that it is not scholarly and it is not a Ismaili. ; $proof$ = 
sent11 & sent16 -> int1: the graviton is not unscholarly and is not an impressionist.; int1 & sent3 -> int2: the graviton does not lob SSA.; int2 & sent4 -> int3: the hairdresser does lob SSA and is not inelastic.; int3 -> int4: something does lob SSA and is not inelastic.; int4 & sent12 -> int5: the Best is Ismaili.; int5 & sent2 -> hypothesis; __PROVED__