the marcel is not a kind of a jackhammer.
sent1: the smirker does pipe Lysol. sent2: if the fact that the smirker is not a kind of a clue is correct the floater is not implicational. sent3: the Reoviridae is Continental. sent4: the floater does not clue if the fact that the smirker is not Continental and is not a eburnation is not correct. sent5: that the smirker is not a kind of a clue and it is not implicational is not right. sent6: the fact that if the smirker is not a eburnation the floater is not Continental is not wrong. sent7: something is a jackhammer but not implicational if it is not a kind of a clue. sent8: that the marcel is not a jackhammer and it is not Continental does not hold if it is a eburnation. sent9: the fact that the smirker is not a eburnation and it is not a jackhammer is false. sent10: the smirker does not pipe Aleve. sent11: if the smirker is implicational the fact that it is Continental and it is not a eburnation is incorrect. sent12: that the smirker is both not a clue and not implicational is not true if it is a eburnation. sent13: if the floater is categoric then it is unregenerate. sent14: if the floater is not a kind of a clue the marcel is not a jackhammer. sent15: if that the smirker is not a jackhammer and not implicational is not right then the marcel is not a eburnation. sent16: the marcel is not a eburnation. sent17: the fact that the smirker is a kind of non-Continental a eburnation is incorrect. sent18: the Aleve is a eburnation. sent19: that the smirker is non-Continental a eburnation is not right if it is implicational. sent20: the smirker is implicational. sent21: if the fact that the floater is unregenerate is right then it is a shahadah. sent22: the marcel is not a kind of a Ceryle. sent23: that the smirker is not Continental and it is not a kind of a eburnation is not true if it is implicational. sent24: the fact that the smirker is not non-Continental but it is not a eburnation is not true.
sent23 & sent20 -> int1: the fact that the smirker is not Continental and it is not a kind of a eburnation is not true.; int1 & sent4 -> int2: the floater does not clue.; int2 & sent14 -> hypothesis;
the marcel is a kind of a jackhammer.
sent7 -> int3: the marcel is both a jackhammer and not implicational if it is not a kind of a clue.;
$hypothesis$ = the marcel is not a kind of a jackhammer. ; $context$ = sent1: the smirker does pipe Lysol. sent2: if the fact that the smirker is not a kind of a clue is correct the floater is not implicational. sent3: the Reoviridae is Continental. sent4: the floater does not clue if the fact that the smirker is not Continental and is not a eburnation is not correct. sent5: that the smirker is not a kind of a clue and it is not implicational is not right. sent6: the fact that if the smirker is not a eburnation the floater is not Continental is not wrong. sent7: something is a jackhammer but not implicational if it is not a kind of a clue. sent8: that the marcel is not a jackhammer and it is not Continental does not hold if it is a eburnation. sent9: the fact that the smirker is not a eburnation and it is not a jackhammer is false. sent10: the smirker does not pipe Aleve. sent11: if the smirker is implicational the fact that it is Continental and it is not a eburnation is incorrect. sent12: that the smirker is both not a clue and not implicational is not true if it is a eburnation. sent13: if the floater is categoric then it is unregenerate. sent14: if the floater is not a kind of a clue the marcel is not a jackhammer. sent15: if that the smirker is not a jackhammer and not implicational is not right then the marcel is not a eburnation. sent16: the marcel is not a eburnation. sent17: the fact that the smirker is a kind of non-Continental a eburnation is incorrect. sent18: the Aleve is a eburnation. sent19: that the smirker is non-Continental a eburnation is not right if it is implicational. sent20: the smirker is implicational. sent21: if the fact that the floater is unregenerate is right then it is a shahadah. sent22: the marcel is not a kind of a Ceryle. sent23: that the smirker is not Continental and it is not a kind of a eburnation is not true if it is implicational. sent24: the fact that the smirker is not non-Continental but it is not a eburnation is not true. ; $proof$ = 
sent23 & sent20 -> int1: the fact that the smirker is not Continental and it is not a kind of a eburnation is not true.; int1 & sent4 -> int2: the floater does not clue.; int2 & sent14 -> hypothesis; __PROVED__