if the lobsterman does not bypass fragility then the electroscope is an awe and is a Italian.
sent1: the teddy is a lancet. sent2: if the cesspool is not a lancet and not a Levantine the lobsterman bypasses fragility. sent3: the cesspool is not a kind of a lancet and it is not a kind of a Levantine if the electroscope does not awe. sent4: the teddy is a progestin. sent5: if the electroscope is not a progestin then the teddy is both not creaseproof and not a Italian. sent6: that the teddy is not a Levantine hold if the fact that the cesspool is creaseproof does not hold. sent7: the cesspool is a kind of an awe if the fact that the teddy is not a lancet and not creaseproof hold. sent8: the electroscope does awe and is creaseproof if the teddy is a Levantine. sent9: if the cesspool is not a lancet but it awes the teddy is creaseproof. sent10: the lobsterman is not a kind of a Levantine if the cesspool does not bypass fragility. sent11: if the teddy is a progestin then it is creaseproof. sent12: if the lobsterman is not a Italian the fact that the electroscope is a kind of an awe that does bypass fragility hold. sent13: the cesspool is not a kind of a Levantine if the electroscope does not awe. sent14: the electroscope is not non-creaseproof. sent15: the electroscope does bypass legume. sent16: the fact that the electroscope is a progestin hold. sent17: if the teddy is creaseproof then the fact that the electroscope is a kind of a Italian is right. sent18: if the electroscope is not a Levantine the cesspool is an awe and it is a Italian. sent19: the electroscope is creaseproof if that the teddy is a Italian is true. sent20: the cesspool is a kind of a Italian.
void -> assump2: Let's assume that that the electroscope is not an awe is not false.; sent3 & assump2 -> int1: the cesspool is not a kind of a lancet and is not a Levantine.; int1 & sent2 -> int2: the lobsterman bypasses fragility.; void -> assump1: Let's assume that the lobsterman does not bypass fragility.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the electroscope awes.; sent11 & sent4 -> int5: the teddy is creaseproof.; sent17 & int5 -> int6: the fact that the electroscope is a Italian is true.; int4 & int6 -> int7: the electroscope is an awe that is a Italian.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the lobsterman does not bypass fragility then the electroscope is an awe and is a Italian. ; $context$ = sent1: the teddy is a lancet. sent2: if the cesspool is not a lancet and not a Levantine the lobsterman bypasses fragility. sent3: the cesspool is not a kind of a lancet and it is not a kind of a Levantine if the electroscope does not awe. sent4: the teddy is a progestin. sent5: if the electroscope is not a progestin then the teddy is both not creaseproof and not a Italian. sent6: that the teddy is not a Levantine hold if the fact that the cesspool is creaseproof does not hold. sent7: the cesspool is a kind of an awe if the fact that the teddy is not a lancet and not creaseproof hold. sent8: the electroscope does awe and is creaseproof if the teddy is a Levantine. sent9: if the cesspool is not a lancet but it awes the teddy is creaseproof. sent10: the lobsterman is not a kind of a Levantine if the cesspool does not bypass fragility. sent11: if the teddy is a progestin then it is creaseproof. sent12: if the lobsterman is not a Italian the fact that the electroscope is a kind of an awe that does bypass fragility hold. sent13: the cesspool is not a kind of a Levantine if the electroscope does not awe. sent14: the electroscope is not non-creaseproof. sent15: the electroscope does bypass legume. sent16: the fact that the electroscope is a progestin hold. sent17: if the teddy is creaseproof then the fact that the electroscope is a kind of a Italian is right. sent18: if the electroscope is not a Levantine the cesspool is an awe and it is a Italian. sent19: the electroscope is creaseproof if that the teddy is a Italian is true. sent20: the cesspool is a kind of a Italian. ; $proof$ = 
void -> assump2: Let's assume that that the electroscope is not an awe is not false.; sent3 & assump2 -> int1: the cesspool is not a kind of a lancet and is not a Levantine.; int1 & sent2 -> int2: the lobsterman bypasses fragility.; void -> assump1: Let's assume that the lobsterman does not bypass fragility.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the electroscope awes.; sent11 & sent4 -> int5: the teddy is creaseproof.; sent17 & int5 -> int6: the fact that the electroscope is a Italian is true.; int4 & int6 -> int7: the electroscope is an awe that is a Italian.; [assump1] & int7 -> hypothesis; __PROVED__