the episome is ictal.
sent1: that the episome is non-ictal is true if the miotic is not a peephole and it is not non-ictal. sent2: the fact that the gangster does capture one-fifth hold if the fact that it does not capture one-fifth and is not a kind of a defender is false. sent3: if the fact that something is a kind of a defender and does not capture one-fifth is not correct it is not a kind of a peephole. sent4: the gangster does not capture one-fifth if the miotic is not a Wolff. sent5: the fact that the gangster does not capture one-fifth and is not a kind of a defender is not right. sent6: that the gangster does capture one-fifth but it is not a kind of a defender is wrong. sent7: if there is something such that it is anticlimactic that the miotic is a kind of a defender that does not capture one-fifth is not right. sent8: the gangster does not capture one-fifth if that the miotic is a gazebo and it is a Wolff does not hold. sent9: if the fact that the episome is not ictal is true then that the miotic is a gazebo and is a Wolff is not right. sent10: if the fact that something reads brainwave and is a kind of a uniform does not hold then it is not ictal. sent11: if that the bluehead does not read part-timer and it is not a fire does not hold it is a houseplant. sent12: the gangster is anticlimactic.
void -> assump1: Let's assume that the episome is not ictal.; sent9 & assump1 -> int1: that the miotic is a gazebo and it is a kind of a Wolff is incorrect.; int1 & sent8 -> int2: the gangster does not capture one-fifth.; sent2 & sent5 -> int3: the gangster captures one-fifth.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the episome is not ictal.
sent3 -> int5: the miotic is not a peephole if the fact that it is a kind of a defender and does not capture one-fifth is not true.; sent12 -> int6: there is something such that it is anticlimactic.; int6 & sent7 -> int7: the fact that the fact that the miotic is a defender but it does not capture one-fifth is right does not hold.; int5 & int7 -> int8: the miotic is not a peephole.; sent10 -> int9: if that the miotic reads brainwave and it does uniform does not hold then it is not ictal.;
$hypothesis$ = the episome is ictal. ; $context$ = sent1: that the episome is non-ictal is true if the miotic is not a peephole and it is not non-ictal. sent2: the fact that the gangster does capture one-fifth hold if the fact that it does not capture one-fifth and is not a kind of a defender is false. sent3: if the fact that something is a kind of a defender and does not capture one-fifth is not correct it is not a kind of a peephole. sent4: the gangster does not capture one-fifth if the miotic is not a Wolff. sent5: the fact that the gangster does not capture one-fifth and is not a kind of a defender is not right. sent6: that the gangster does capture one-fifth but it is not a kind of a defender is wrong. sent7: if there is something such that it is anticlimactic that the miotic is a kind of a defender that does not capture one-fifth is not right. sent8: the gangster does not capture one-fifth if that the miotic is a gazebo and it is a Wolff does not hold. sent9: if the fact that the episome is not ictal is true then that the miotic is a gazebo and is a Wolff is not right. sent10: if the fact that something reads brainwave and is a kind of a uniform does not hold then it is not ictal. sent11: if that the bluehead does not read part-timer and it is not a fire does not hold it is a houseplant. sent12: the gangster is anticlimactic. ; $proof$ = 
void -> assump1: Let's assume that the episome is not ictal.; sent9 & assump1 -> int1: that the miotic is a gazebo and it is a kind of a Wolff is incorrect.; int1 & sent8 -> int2: the gangster does not capture one-fifth.; sent2 & sent5 -> int3: the gangster captures one-fifth.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__