the fact that the secobarbital is a kind of a bowl if the lye hears eggshake does not hold.
sent1: if the humanitarian is lobate then the secobarbital is a bowl. sent2: if that something is conclusive and does not congratulate perpetration is wrong then it alternates. sent3: that the lye is conclusive thing that does not congratulate perpetration does not hold if it is not fernless. sent4: the lye is not fernless. sent5: the humanitarian is lobate if there is something such that it is alternating thing that does hear eggshake.
sent2 -> int1: if that the lye is a kind of conclusive thing that does not congratulate perpetration is not true then it alternates.; sent3 & sent4 -> int2: that the lye is conclusive thing that does not congratulate perpetration is not right.; int1 & int2 -> int3: the lye alternates.; void -> assump1: Let's assume that the lye hears eggshake.; int3 & assump1 -> int4: the lye does alternate and hears eggshake.; int4 -> int5: that something alternates and does hear eggshake hold.; int5 & sent5 -> int6: the humanitarian is lobate.; int6 & sent1 -> int7: the secobarbital is a bowl.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the secobarbital is a kind of a bowl if the lye hears eggshake does not hold. ; $context$ = sent1: if the humanitarian is lobate then the secobarbital is a bowl. sent2: if that something is conclusive and does not congratulate perpetration is wrong then it alternates. sent3: that the lye is conclusive thing that does not congratulate perpetration does not hold if it is not fernless. sent4: the lye is not fernless. sent5: the humanitarian is lobate if there is something such that it is alternating thing that does hear eggshake. ; $proof$ = 
sent2 -> int1: if that the lye is a kind of conclusive thing that does not congratulate perpetration is not true then it alternates.; sent3 & sent4 -> int2: that the lye is conclusive thing that does not congratulate perpetration is not right.; int1 & int2 -> int3: the lye alternates.; void -> assump1: Let's assume that the lye hears eggshake.; int3 & assump1 -> int4: the lye does alternate and hears eggshake.; int4 -> int5: that something alternates and does hear eggshake hold.; int5 & sent5 -> int6: the humanitarian is lobate.; int6 & sent1 -> int7: the secobarbital is a bowl.; [assump1] & int7 -> hypothesis; __DISPROVED__