the lock-gate does perfume Ob.
sent1: the lock-gate is not a caricature if that the barbital is a kind of a grocery that does not perfume Ob is wrong. sent2: that the lotus-eater is kinetic and it is an elusiveness is wrong. sent3: that the hydrophyte is a Leonurus is right. sent4: if something is a caricature it does perfume Ob. sent5: the barbital is not a grocery. sent6: if something is kinetic and it is an elusiveness it is not an east. sent7: if the hydrophyte is a kind of a Leonurus the barbital is not a grocery. sent8: if the freeze is not an elusiveness then that the lotus-eater caricatures is right. sent9: the barbital does perfume Ob but it is not a kind of a grocery. sent10: that the lock-gate is kinetic is true. sent11: the hydrophyte is not an east. sent12: the lock-gate does not perfume Ob if the fact that the lotus-eater is kinetic thing that is not an elusiveness does not hold. sent13: the barbital is a caricature but not a grocery if the hydrophyte is a Leonurus. sent14: if the barbital is a caricature but not a grocery the freeze is not a caricature. sent15: the barbital is a Leonurus. sent16: if the lotus-eater is a kind of an elusiveness the lock-gate does not perfume Ob. sent17: the barbital perfumes Ob. sent18: the fact that the freeze is a kind of an east but it does not caricature is wrong if the fact that it is not a Leonurus is right. sent19: the hydrophyte is not kinetic if that the freeze is kinetic but it is not a caricature is not right. sent20: something is not a kind of an east if the fact that it is a Leonurus and it is a kind of an east is wrong. sent21: if a kinetic thing is not an elusiveness then it is not east. sent22: if the lotus-eater is not east then the freeze is a caricature. sent23: something that does not master Dortmund is a kind of a grocery and is not a Leonurus.
sent21 -> int1: if the lotus-eater is kinetic but not an elusiveness then the fact that it is not an east is not wrong.; void -> assump1: Let's assume that the lotus-eater is kinetic but it is not a kind of an elusiveness.; int1 & assump1 -> int2: the lotus-eater is not an east.; int2 & sent22 -> int3: the freeze does caricature.; sent13 & sent3 -> int4: the barbital is a caricature and not a grocery.; sent14 & int4 -> int5: the freeze is not a caricature.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the lotus-eater is both kinetic and not an elusiveness is not correct.; int7 & sent12 -> hypothesis;
the lock-gate does perfume Ob.
sent4 -> int8: the lock-gate perfumes Ob if it is a caricature.; sent23 -> int9: the freeze is a grocery but it is not a Leonurus if it does not master Dortmund.;
$hypothesis$ = the lock-gate does perfume Ob. ; $context$ = sent1: the lock-gate is not a caricature if that the barbital is a kind of a grocery that does not perfume Ob is wrong. sent2: that the lotus-eater is kinetic and it is an elusiveness is wrong. sent3: that the hydrophyte is a Leonurus is right. sent4: if something is a caricature it does perfume Ob. sent5: the barbital is not a grocery. sent6: if something is kinetic and it is an elusiveness it is not an east. sent7: if the hydrophyte is a kind of a Leonurus the barbital is not a grocery. sent8: if the freeze is not an elusiveness then that the lotus-eater caricatures is right. sent9: the barbital does perfume Ob but it is not a kind of a grocery. sent10: that the lock-gate is kinetic is true. sent11: the hydrophyte is not an east. sent12: the lock-gate does not perfume Ob if the fact that the lotus-eater is kinetic thing that is not an elusiveness does not hold. sent13: the barbital is a caricature but not a grocery if the hydrophyte is a Leonurus. sent14: if the barbital is a caricature but not a grocery the freeze is not a caricature. sent15: the barbital is a Leonurus. sent16: if the lotus-eater is a kind of an elusiveness the lock-gate does not perfume Ob. sent17: the barbital perfumes Ob. sent18: the fact that the freeze is a kind of an east but it does not caricature is wrong if the fact that it is not a Leonurus is right. sent19: the hydrophyte is not kinetic if that the freeze is kinetic but it is not a caricature is not right. sent20: something is not a kind of an east if the fact that it is a Leonurus and it is a kind of an east is wrong. sent21: if a kinetic thing is not an elusiveness then it is not east. sent22: if the lotus-eater is not east then the freeze is a caricature. sent23: something that does not master Dortmund is a kind of a grocery and is not a Leonurus. ; $proof$ = 
sent21 -> int1: if the lotus-eater is kinetic but not an elusiveness then the fact that it is not an east is not wrong.; void -> assump1: Let's assume that the lotus-eater is kinetic but it is not a kind of an elusiveness.; int1 & assump1 -> int2: the lotus-eater is not an east.; int2 & sent22 -> int3: the freeze does caricature.; sent13 & sent3 -> int4: the barbital is a caricature and not a grocery.; sent14 & int4 -> int5: the freeze is not a caricature.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the lotus-eater is both kinetic and not an elusiveness is not correct.; int7 & sent12 -> hypothesis; __DISPROVED__