if the Teleprompter does service elsholtzia then the cartwheel is not a Succoth and it is not a kind of a Klinefelter.
sent1: if the phrontistery is not a supernumerary the cartwheel is not a Succoth. sent2: the Teleprompter is an infernal and it is a Lipmann. sent3: the cartwheel is a kind of an infernal if there exists something such that the fact that that it is a Succoth and is not infernal is right does not hold. sent4: if something is infernal but it is not a kind of a Lipmann then it does not conceal. sent5: the cartwheel is not a Succoth. sent6: something does not run penlight and is a kind of a supernumerary if it is abyssal. sent7: something does not explicate if the fact that it is a kind of a Kera that is not bipedal is incorrect. sent8: the phrontistery does not explicate if that the Teleprompter is an infernal and services elsholtzia is right. sent9: if something does not explicate then it does service elsholtzia and it is a Lipmann. sent10: that the Teleprompter is a kind of a Kera but it is not bipedal does not hold if something is not subtractive. sent11: if something does not explicate it is not a supernumerary. sent12: that the Warren does not scent Toklas and it is not a leporide is incorrect. sent13: if the Teleprompter services elsholtzia and it is a kind of a Lipmann the fact that the cartwheel is not a kind of a Lipmann is right. sent14: the trypsinogen is a Lipmann and it services Gadidae. sent15: the fact that the phrontistery is a Succoth but it is not a kind of an infernal does not hold if the fact that the dancing-master is not a Klinefelter is not right. sent16: if the fact that the Warren does not scent Toklas and is not a kind of a leporide is wrong the dancing-master is a Klinefelter. sent17: there exists something such that it is not subtractive. sent18: the cartwheel is abyssal.
sent2 -> int1: the Teleprompter is infernal.; void -> assump1: Let's assume that the Teleprompter does service elsholtzia.; int1 & assump1 -> int2: the Teleprompter is an infernal that does service elsholtzia.; int2 & sent8 -> int3: the phrontistery does not explicate.; sent11 -> int4: if the phrontistery does not explicate it is not a supernumerary.; int3 & int4 -> int5: the phrontistery is not a supernumerary.;
the cartwheel does not run penlight and does not conceal.
sent6 -> int6: if the cartwheel is abyssal the fact that it does not run penlight and is a supernumerary hold.; int6 & sent18 -> int7: the cartwheel does not run penlight and is a supernumerary.; int7 -> int8: the cartwheel does not run penlight.; sent4 -> int9: the cartwheel does not conceal if it is a kind of an infernal and is not a Lipmann.; sent16 & sent12 -> int10: the dancing-master is a Klinefelter.; sent15 & int10 -> int11: that the phrontistery is a Succoth and is not an infernal does not hold.; int11 -> int12: there is something such that the fact that it is a Succoth and is non-infernal is not true.; int12 & sent3 -> int13: the cartwheel is an infernal.; sent9 -> int14: if the fact that the Teleprompter does not explicate is right it services elsholtzia and is a Lipmann.; sent7 -> int15: the Teleprompter does not explicate if that it is a Kera and not bipedal is not right.; sent17 & sent10 -> int16: the fact that the Teleprompter is a kind of a Kera but it is not bipedal is not right.; int15 & int16 -> int17: the Teleprompter does not explicate.; int14 & int17 -> int18: the Teleprompter does service elsholtzia and it is a Lipmann.; sent13 & int18 -> int19: the cartwheel is not a kind of a Lipmann.; int13 & int19 -> int20: the cartwheel is an infernal but it is not a Lipmann.; int9 & int20 -> int21: the cartwheel does not conceal.; int8 & int21 -> hypothesis;
$hypothesis$ = if the Teleprompter does service elsholtzia then the cartwheel is not a Succoth and it is not a kind of a Klinefelter. ; $context$ = sent1: if the phrontistery is not a supernumerary the cartwheel is not a Succoth. sent2: the Teleprompter is an infernal and it is a Lipmann. sent3: the cartwheel is a kind of an infernal if there exists something such that the fact that that it is a Succoth and is not infernal is right does not hold. sent4: if something is infernal but it is not a kind of a Lipmann then it does not conceal. sent5: the cartwheel is not a Succoth. sent6: something does not run penlight and is a kind of a supernumerary if it is abyssal. sent7: something does not explicate if the fact that it is a kind of a Kera that is not bipedal is incorrect. sent8: the phrontistery does not explicate if that the Teleprompter is an infernal and services elsholtzia is right. sent9: if something does not explicate then it does service elsholtzia and it is a Lipmann. sent10: that the Teleprompter is a kind of a Kera but it is not bipedal does not hold if something is not subtractive. sent11: if something does not explicate it is not a supernumerary. sent12: that the Warren does not scent Toklas and it is not a leporide is incorrect. sent13: if the Teleprompter services elsholtzia and it is a kind of a Lipmann the fact that the cartwheel is not a kind of a Lipmann is right. sent14: the trypsinogen is a Lipmann and it services Gadidae. sent15: the fact that the phrontistery is a Succoth but it is not a kind of an infernal does not hold if the fact that the dancing-master is not a Klinefelter is not right. sent16: if the fact that the Warren does not scent Toklas and is not a kind of a leporide is wrong the dancing-master is a Klinefelter. sent17: there exists something such that it is not subtractive. sent18: the cartwheel is abyssal. ; $proof$ = 
sent2 -> int1: the Teleprompter is infernal.; void -> assump1: Let's assume that the Teleprompter does service elsholtzia.; int1 & assump1 -> int2: the Teleprompter is an infernal that does service elsholtzia.; int2 & sent8 -> int3: the phrontistery does not explicate.; sent11 -> int4: if the phrontistery does not explicate it is not a supernumerary.; int3 & int4 -> int5: the phrontistery is not a supernumerary.; __UNKNOWN__