that the airs is a kind of bionics a narc is true.
sent1: if that the roundhouse is not a Cuculus and it does not uncork Tharp is not true the hypnotist is a blend. sent2: if there exists something such that it is a Cuculus the ETD is not a kind of an encephalopathy. sent3: the fact that the ostrich does uncork Tharp and blends is not correct. sent4: that the roundhouse is not a kind of a Cuculus and does not uncork Tharp is not true if the Viyella is not a Cuculus. sent5: the ETD is an encephalopathy. sent6: if there exists something such that it is bionics then the airs is an encephalopathy. sent7: the ETD is bionics and it is a kind of a Boniface. sent8: if something is a Cuculus the fact that it does not uncork cannibalism and it does not step is incorrect. sent9: if there is something such that it is a blend the airs is bionics. sent10: that the fact that the roundhouse is a kind of a Cuculus and does not uncork Tharp is not false is not right if the fact that the Viyella is not a Cuculus is not wrong. sent11: the woof is not an encephalopathy. sent12: that the roundhouse is a Cuculus and does not uncork Tharp is false. sent13: the hypnotist does blend if the roundhouse is a kind of a Cuculus. sent14: the airs is a narc.
void -> assump1: Let's assume that the Viyella is a Cuculus.; assump1 -> int1: there exists something such that it is a Cuculus.; int1 & sent2 -> int2: the ETD is not a kind of an encephalopathy.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Viyella is not a Cuculus.; int4 & sent4 -> int5: that the fact that the roundhouse is not a kind of a Cuculus and it does not uncork Tharp is wrong is not wrong.; int5 & sent1 -> int6: the hypnotist is a kind of a blend.; int6 -> int7: there exists something such that it blends.; int7 & sent9 -> int8: the airs is bionics.; int8 & sent14 -> hypothesis;
that the ostrich does not uncork cannibalism and it is not a steps is wrong.
sent8 -> int9: if the ostrich is a Cuculus the fact that it does not uncork cannibalism and is not a kind of a steps is not true.;
$hypothesis$ = that the airs is a kind of bionics a narc is true. ; $context$ = sent1: if that the roundhouse is not a Cuculus and it does not uncork Tharp is not true the hypnotist is a blend. sent2: if there exists something such that it is a Cuculus the ETD is not a kind of an encephalopathy. sent3: the fact that the ostrich does uncork Tharp and blends is not correct. sent4: that the roundhouse is not a kind of a Cuculus and does not uncork Tharp is not true if the Viyella is not a Cuculus. sent5: the ETD is an encephalopathy. sent6: if there exists something such that it is bionics then the airs is an encephalopathy. sent7: the ETD is bionics and it is a kind of a Boniface. sent8: if something is a Cuculus the fact that it does not uncork cannibalism and it does not step is incorrect. sent9: if there is something such that it is a blend the airs is bionics. sent10: that the fact that the roundhouse is a kind of a Cuculus and does not uncork Tharp is not false is not right if the fact that the Viyella is not a Cuculus is not wrong. sent11: the woof is not an encephalopathy. sent12: that the roundhouse is a Cuculus and does not uncork Tharp is false. sent13: the hypnotist does blend if the roundhouse is a kind of a Cuculus. sent14: the airs is a narc. ; $proof$ = 
void -> assump1: Let's assume that the Viyella is a Cuculus.; assump1 -> int1: there exists something such that it is a Cuculus.; int1 & sent2 -> int2: the ETD is not a kind of an encephalopathy.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Viyella is not a Cuculus.; int4 & sent4 -> int5: that the fact that the roundhouse is not a kind of a Cuculus and it does not uncork Tharp is wrong is not wrong.; int5 & sent1 -> int6: the hypnotist is a kind of a blend.; int6 -> int7: there exists something such that it blends.; int7 & sent9 -> int8: the airs is bionics.; int8 & sent14 -> hypothesis; __PROVED__