the refreshment does not auspicate.
sent1: the recognition does carbonate fitted and it is neurological. sent2: if something is zygomatic then the fact that it does not carbonate fitted and it is a leporide is wrong. sent3: the motor is a kind of a Dagestani. sent4: the refreshment does not carbonate fitted and/or is a Togolese if it is zygomatic. sent5: if the refreshment is Togolese it is not microscopic and/or it does carbonate fitted. sent6: there is something such that it is not differentiable. sent7: that the refreshment is indoor is correct if it is not a kind of a Togolese. sent8: the flyway is zygomatic. sent9: the flyway auspicates. sent10: the flyway is zygomatic and it does perk if it is not a leporide. sent11: the fact that the motor is not indoor hold if the fact that the negativist is not a Dagestani and does not auspicate is not true. sent12: if that the refreshment is not microscopic or carbonates fitted or both is not wrong the flyway is not a kind of a leporide. sent13: the motor is zygomatic and perks if it is not indoor. sent14: if there exists something such that it is not Togolese and/or it carbonates fitted then the flyway carbonates fitted. sent15: the rasher does auspicate. sent16: if the motor is a Dagestani then the fact that it does not perk and it is indoor is not correct. sent17: something is a leporide and it is a Togolese if it is not zygomatic. sent18: if the refreshment is not zygomatic and/or it perks then the flyway does not carbonate fitted. sent19: the flyway does not perk. sent20: the refreshment is a kind of a Richler if it does not auspicate. sent21: if that the refreshment is indoor is right it auspicates. sent22: that that the negativist is not a Dagestani and it does not auspicate is not correct is not incorrect if there is something such that that it is not differentiable hold. sent23: the flyway is a Togolese.
void -> assump1: Let's assume that that the refreshment is a Togolese hold.; sent5 & assump1 -> int1: the refreshment is not microscopic and/or it carbonates fitted.; int1 & sent12 -> int2: the flyway is not a leporide.; int2 & sent10 -> int3: the flyway is zygomatic and perks.; int3 -> int4: the flyway does perk.; int4 & sent19 -> int5: this is contradiction.; [assump1] & int5 -> int6: the refreshment is not a Togolese.; int6 & sent7 -> int7: the refreshment is indoor.; int7 & sent21 -> hypothesis;
the flyway carbonates fitted.
sent2 -> int8: the fact that the motor does not carbonate fitted but it is a kind of a leporide is not true if it is zygomatic.; sent6 & sent22 -> int9: that the negativist is not a Dagestani and it does not auspicate is not correct.; sent11 & int9 -> int10: the motor is not indoor.; sent13 & int10 -> int11: the motor is zygomatic and it does perk.; int11 -> int12: the motor is zygomatic.; int8 & int12 -> int13: that the motor does not carbonate fitted but it is a kind of a leporide is not true.; int13 -> int14: there exists something such that that it does not carbonate fitted and it is a leporide is not right.;
$hypothesis$ = the refreshment does not auspicate. ; $context$ = sent1: the recognition does carbonate fitted and it is neurological. sent2: if something is zygomatic then the fact that it does not carbonate fitted and it is a leporide is wrong. sent3: the motor is a kind of a Dagestani. sent4: the refreshment does not carbonate fitted and/or is a Togolese if it is zygomatic. sent5: if the refreshment is Togolese it is not microscopic and/or it does carbonate fitted. sent6: there is something such that it is not differentiable. sent7: that the refreshment is indoor is correct if it is not a kind of a Togolese. sent8: the flyway is zygomatic. sent9: the flyway auspicates. sent10: the flyway is zygomatic and it does perk if it is not a leporide. sent11: the fact that the motor is not indoor hold if the fact that the negativist is not a Dagestani and does not auspicate is not true. sent12: if that the refreshment is not microscopic or carbonates fitted or both is not wrong the flyway is not a kind of a leporide. sent13: the motor is zygomatic and perks if it is not indoor. sent14: if there exists something such that it is not Togolese and/or it carbonates fitted then the flyway carbonates fitted. sent15: the rasher does auspicate. sent16: if the motor is a Dagestani then the fact that it does not perk and it is indoor is not correct. sent17: something is a leporide and it is a Togolese if it is not zygomatic. sent18: if the refreshment is not zygomatic and/or it perks then the flyway does not carbonate fitted. sent19: the flyway does not perk. sent20: the refreshment is a kind of a Richler if it does not auspicate. sent21: if that the refreshment is indoor is right it auspicates. sent22: that that the negativist is not a Dagestani and it does not auspicate is not correct is not incorrect if there is something such that that it is not differentiable hold. sent23: the flyway is a Togolese. ; $proof$ = 
void -> assump1: Let's assume that that the refreshment is a Togolese hold.; sent5 & assump1 -> int1: the refreshment is not microscopic and/or it carbonates fitted.; int1 & sent12 -> int2: the flyway is not a leporide.; int2 & sent10 -> int3: the flyway is zygomatic and perks.; int3 -> int4: the flyway does perk.; int4 & sent19 -> int5: this is contradiction.; [assump1] & int5 -> int6: the refreshment is not a Togolese.; int6 & sent7 -> int7: the refreshment is indoor.; int7 & sent21 -> hypothesis; __DISPROVED__