the mutation is not tracheal.
sent1: that the arc is a kind of non-syncarpous thing that does edge skibob is not right. sent2: if the Wiener does not lob cashed then it does not edge grunt and it is a kind of a Junior. sent3: that the counterterrorist does not digitize Dagon is not wrong. sent4: if that the arc is not syncarpous and it does not edge skibob is not right it is not a kind of a speed. sent5: the fact that the buttonwood does not worst and it does not edge grunt is wrong. sent6: the Wiener lobs Wiener and is ill if the originator does not bog subclass. sent7: if something that does not edge grunt is ill the beanie is worsted. sent8: the fact that the arc is syncarpous but it does not edge skibob is false. sent9: if something does not edge grunt it is tracheal. sent10: the Wiener does not lob cashed. sent11: if something does not digitize Dagon then the originator either does not bog lunge or is a kind of a paganism or both. sent12: if something is not ill then it does not edge grunt. sent13: if the arc is not anencephalic and is not tracheal then the mutation is not tracheal. sent14: everything is a speed. sent15: if something is not syncarpous and does not edge skibob then it is not non-anencephalic. sent16: the fact that the buttonwood is not anencephalic and it is not a kind of a worsted does not hold if the arc is anencephalic. sent17: if the originator does not bog lunge or is a paganism or both then it does not bog subclass. sent18: if the fact that that the buttonwood is not anencephalic and is not a kind of a worsted does not hold is true the mutation is not ill. sent19: if a non-syncarpous thing edges skibob it is anencephalic. sent20: the mutation is tracheal if it is both not anencephalic and not worsted. sent21: if the buttonwood is a kind of a worsted then the mutation is not ill. sent22: the arc is anencephalic if it is not syncarpous and it edges skibob. sent23: that the buttonwood is not anencephalic and is worsted is wrong if the arc is anencephalic. sent24: the fact that the arc is not anencephalic and it is not tracheal is true if the buttonwood is not a speed.
void -> assump1: Let's assume that that the arc is non-syncarpous thing that does not edge skibob is incorrect.; sent4 & assump1 -> int1: the arc is not a speed.; sent14 -> int2: the arc does speed.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the arc is not syncarpous and it does not edge skibob.; sent15 -> int5: if the arc is non-syncarpous thing that does not edge skibob that it is anencephalic is correct.; int4 & int5 -> int6: the arc is anencephalic.; int6 & sent16 -> int7: the fact that the buttonwood is not anencephalic and it is not worsted is wrong.; int7 & sent18 -> int8: the mutation is non-ill.; sent12 -> int9: if the mutation is not ill it does not edge grunt.; int8 & int9 -> int10: the mutation does not edge grunt.; sent9 -> int11: if the mutation does not edge grunt it is tracheal.; int10 & int11 -> hypothesis;
that the mutation is not tracheal is not wrong.
sent2 & sent10 -> int12: the Wiener does not edge grunt and is a Junior.; int12 -> int13: the Wiener does not edge grunt.; sent3 -> int14: there exists something such that it does not digitize Dagon.; int14 & sent11 -> int15: the originator either does not bog lunge or is a paganism or both.; sent17 & int15 -> int16: that the originator does not bog subclass is not incorrect.; sent6 & int16 -> int17: the Wiener does lob Wiener and is ill.; int17 -> int18: the Wiener is ill.; int13 & int18 -> int19: the Wiener does not edge grunt and is ill.; int19 -> int20: something does not edge grunt and is ill.; int20 & sent7 -> int21: the beanie worsts.; int21 -> int22: there are worsted things.;
$hypothesis$ = the mutation is not tracheal. ; $context$ = sent1: that the arc is a kind of non-syncarpous thing that does edge skibob is not right. sent2: if the Wiener does not lob cashed then it does not edge grunt and it is a kind of a Junior. sent3: that the counterterrorist does not digitize Dagon is not wrong. sent4: if that the arc is not syncarpous and it does not edge skibob is not right it is not a kind of a speed. sent5: the fact that the buttonwood does not worst and it does not edge grunt is wrong. sent6: the Wiener lobs Wiener and is ill if the originator does not bog subclass. sent7: if something that does not edge grunt is ill the beanie is worsted. sent8: the fact that the arc is syncarpous but it does not edge skibob is false. sent9: if something does not edge grunt it is tracheal. sent10: the Wiener does not lob cashed. sent11: if something does not digitize Dagon then the originator either does not bog lunge or is a kind of a paganism or both. sent12: if something is not ill then it does not edge grunt. sent13: if the arc is not anencephalic and is not tracheal then the mutation is not tracheal. sent14: everything is a speed. sent15: if something is not syncarpous and does not edge skibob then it is not non-anencephalic. sent16: the fact that the buttonwood is not anencephalic and it is not a kind of a worsted does not hold if the arc is anencephalic. sent17: if the originator does not bog lunge or is a paganism or both then it does not bog subclass. sent18: if the fact that that the buttonwood is not anencephalic and is not a kind of a worsted does not hold is true the mutation is not ill. sent19: if a non-syncarpous thing edges skibob it is anencephalic. sent20: the mutation is tracheal if it is both not anencephalic and not worsted. sent21: if the buttonwood is a kind of a worsted then the mutation is not ill. sent22: the arc is anencephalic if it is not syncarpous and it edges skibob. sent23: that the buttonwood is not anencephalic and is worsted is wrong if the arc is anencephalic. sent24: the fact that the arc is not anencephalic and it is not tracheal is true if the buttonwood is not a speed. ; $proof$ = 
void -> assump1: Let's assume that that the arc is non-syncarpous thing that does not edge skibob is incorrect.; sent4 & assump1 -> int1: the arc is not a speed.; sent14 -> int2: the arc does speed.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the arc is not syncarpous and it does not edge skibob.; sent15 -> int5: if the arc is non-syncarpous thing that does not edge skibob that it is anencephalic is correct.; int4 & int5 -> int6: the arc is anencephalic.; int6 & sent16 -> int7: the fact that the buttonwood is not anencephalic and it is not worsted is wrong.; int7 & sent18 -> int8: the mutation is non-ill.; sent12 -> int9: if the mutation is not ill it does not edge grunt.; int8 & int9 -> int10: the mutation does not edge grunt.; sent9 -> int11: if the mutation does not edge grunt it is tracheal.; int10 & int11 -> hypothesis; __DISPROVED__