if the lame manhandles turn-on the solenoid remembers.
sent1: the solenoid remembers if the lame adds balloonist. sent2: something is a antipasto. sent3: if something that is not intestinal is a Polydactylus that the lame is a kind of a Notoryctus is true. sent4: the lame is a doorlock. sent5: there exists something such that it is a kind of non-intestinal a Polydactylus. sent6: if something is a antipasto then the lame severalizes profiterole. sent7: something adds balloonist if it is a harmonic. sent8: the lame is a kind of a Polydactylus. sent9: if something is not an engine but it does manhandle turn-on then it is a kind of a harmonic. sent10: if something does severalize profiterole and it is a kind of a Notoryctus it is not an engine.
sent2 & sent6 -> int1: the lame does severalize profiterole.; sent5 & sent3 -> int2: the lame is a Notoryctus.; int1 & int2 -> int3: the lame severalizes profiterole and it is a Notoryctus.; sent10 -> int4: the fact that the lame is not an engine is not wrong if it does severalize profiterole and is a kind of a Notoryctus.; int3 & int4 -> int5: the lame is not an engine.; void -> assump1: Let's assume that the lame does manhandle turn-on.; int5 & assump1 -> int6: the lame is not an engine and does manhandle turn-on.; sent9 -> int7: the lame is a harmonic if it is not an engine and it does manhandle turn-on.; int6 & int7 -> int8: the lame is not nonharmonic.; sent7 -> int9: the lame adds balloonist if it is a harmonic.; int8 & int9 -> int10: the lame adds balloonist.; int10 & sent1 -> int11: the solenoid remembers.; [assump1] & int11 -> hypothesis;
$hypothesis$ = if the lame manhandles turn-on the solenoid remembers. ; $context$ = sent1: the solenoid remembers if the lame adds balloonist. sent2: something is a antipasto. sent3: if something that is not intestinal is a Polydactylus that the lame is a kind of a Notoryctus is true. sent4: the lame is a doorlock. sent5: there exists something such that it is a kind of non-intestinal a Polydactylus. sent6: if something is a antipasto then the lame severalizes profiterole. sent7: something adds balloonist if it is a harmonic. sent8: the lame is a kind of a Polydactylus. sent9: if something is not an engine but it does manhandle turn-on then it is a kind of a harmonic. sent10: if something does severalize profiterole and it is a kind of a Notoryctus it is not an engine. ; $proof$ = 
sent2 & sent6 -> int1: the lame does severalize profiterole.; sent5 & sent3 -> int2: the lame is a Notoryctus.; int1 & int2 -> int3: the lame severalizes profiterole and it is a Notoryctus.; sent10 -> int4: the fact that the lame is not an engine is not wrong if it does severalize profiterole and is a kind of a Notoryctus.; int3 & int4 -> int5: the lame is not an engine.; void -> assump1: Let's assume that the lame does manhandle turn-on.; int5 & assump1 -> int6: the lame is not an engine and does manhandle turn-on.; sent9 -> int7: the lame is a harmonic if it is not an engine and it does manhandle turn-on.; int6 & int7 -> int8: the lame is not nonharmonic.; sent7 -> int9: the lame adds balloonist if it is a harmonic.; int8 & int9 -> int10: the lame adds balloonist.; int10 & sent1 -> int11: the solenoid remembers.; [assump1] & int11 -> hypothesis; __PROVED__