the cleavage is postictal.
sent1: the Iranian does not rebel and is Eurocentric. sent2: something is a twinge if it is a kind of a Euglenaceae. sent3: if something that does exempt howler is a kind of a Liepaja it does not tongue. sent4: if something is not a kind of a twinge that it does not tongue and does not exempt howler is not right. sent5: the fact that the cleavage does exempt howler and is not a tongue hold if the ranter does not tongue. sent6: if the Iranian is both not a Liepaja and a car the ranter does not tongue. sent7: the fact that the Iranian is not a Liepaja but a car hold. sent8: if that the ranter is not a kind of a tongue and it does not exempt howler does not hold then the Iranian is not a tongue. sent9: the cleavage is not a kind of a car. sent10: the cleavage does exempt howler if the ranter does not tongue. sent11: the sweatsuit is not a rake. sent12: the cleavage is postictal if the fact that that the Iranian is postictal but it is not a Euglenaceae is not wrong does not hold. sent13: if the cleavage exempts howler and is not a tongue then that it is a Euglenaceae is not incorrect. sent14: the sweatsuit is not a rake and it is not a Creek. sent15: the ranter is a car. sent16: if something is not a rake and is not a kind of a Creek the cleavage is a krypton. sent17: if something twinges and it is a krypton it is not postictal. sent18: the beehive does twinge.
sent6 & sent7 -> int1: the ranter is not a tongue.; int1 & sent5 -> int2: the cleavage exempts howler and is not a tongue.; int2 & sent13 -> int3: the cleavage is a kind of a Euglenaceae.; sent2 -> int4: that the cleavage twinges is not wrong if it is a kind of a Euglenaceae.; int3 & int4 -> int5: the cleavage is a kind of a twinge.; sent14 -> int6: something is not a rake and not a Creek.; int6 & sent16 -> int7: the cleavage is a krypton.; int5 & int7 -> int8: the cleavage is a twinge that is a krypton.; sent17 -> int9: the cleavage is not postictal if it twinges and it is a kind of a krypton.; int8 & int9 -> hypothesis;
the fact that the cleavage is postictal is right.
sent4 -> int10: the fact that the ranter is not a tongue and it does not exempt howler does not hold if it is not a kind of a twinge.;
$hypothesis$ = the cleavage is postictal. ; $context$ = sent1: the Iranian does not rebel and is Eurocentric. sent2: something is a twinge if it is a kind of a Euglenaceae. sent3: if something that does exempt howler is a kind of a Liepaja it does not tongue. sent4: if something is not a kind of a twinge that it does not tongue and does not exempt howler is not right. sent5: the fact that the cleavage does exempt howler and is not a tongue hold if the ranter does not tongue. sent6: if the Iranian is both not a Liepaja and a car the ranter does not tongue. sent7: the fact that the Iranian is not a Liepaja but a car hold. sent8: if that the ranter is not a kind of a tongue and it does not exempt howler does not hold then the Iranian is not a tongue. sent9: the cleavage is not a kind of a car. sent10: the cleavage does exempt howler if the ranter does not tongue. sent11: the sweatsuit is not a rake. sent12: the cleavage is postictal if the fact that that the Iranian is postictal but it is not a Euglenaceae is not wrong does not hold. sent13: if the cleavage exempts howler and is not a tongue then that it is a Euglenaceae is not incorrect. sent14: the sweatsuit is not a rake and it is not a Creek. sent15: the ranter is a car. sent16: if something is not a rake and is not a kind of a Creek the cleavage is a krypton. sent17: if something twinges and it is a krypton it is not postictal. sent18: the beehive does twinge. ; $proof$ = 
sent6 & sent7 -> int1: the ranter is not a tongue.; int1 & sent5 -> int2: the cleavage exempts howler and is not a tongue.; int2 & sent13 -> int3: the cleavage is a kind of a Euglenaceae.; sent2 -> int4: that the cleavage twinges is not wrong if it is a kind of a Euglenaceae.; int3 & int4 -> int5: the cleavage is a kind of a twinge.; sent14 -> int6: something is not a rake and not a Creek.; int6 & sent16 -> int7: the cleavage is a krypton.; int5 & int7 -> int8: the cleavage is a twinge that is a krypton.; sent17 -> int9: the cleavage is not postictal if it twinges and it is a kind of a krypton.; int8 & int9 -> hypothesis; __DISPROVED__