the dough does not escape and is hair-shirt.
sent1: if something is a shtik then the fact that it is not an escaped and is hair-shirt is incorrect. sent2: something is not bromidic if that it is not a hypotensive and it is archosaurian hold. sent3: if something is a hypotensive then that it does not recreate and does vex Sceliphron is not true. sent4: the dough is hair-shirt. sent5: if the regeneration is archosaurian then the one-spot is archosaurian. sent6: if the fact that the one-spot does recreate is right the fact that the dough is archosaurian and is bromidic is not correct. sent7: the fact that the dough is both archosaurian and bromidic is incorrect. sent8: the regeneration is a trefoil. sent9: if something is a kind of a neurophysiology it is a kind of non-hypotensive a enthalpy. sent10: if something that vexes cowfish does not pleach triumph then it is archosaurian. sent11: the fact that something recreates and vexes Sceliphron does not hold if it is not bromidic. sent12: the regeneration does vex cowfish but it does not pleach triumph if it is a kind of a trefoil. sent13: the one-spot is a kind of a neurophysiology if it does pleach bullfighter. sent14: the one-spot is not non-hypotensive. sent15: something does not escape if that it is bromidic is correct. sent16: if the dough is bromidic then it is not an escaped. sent17: if the one-spot does recreate then that the dough is archosaurian and is not bromidic does not hold. sent18: the egg-and-dart does not recreate. sent19: the undercoat is hair-shirt. sent20: the one-spot is a shtik and it does vex Sceliphron. sent21: if the fact that something is archosaurian but it is not bromidic is incorrect it is not an escaped. sent22: if the egg-and-dart does not recreate it pleaches geometer and it vexes Sceliphron.
sent20 -> int1: that the one-spot does vex Sceliphron hold.; void -> assump1: Let's assume that the one-spot does not recreate.; int1 & assump1 -> int2: the one-spot does not recreate but it does vex Sceliphron.; sent3 -> int3: if the one-spot is a hypotensive then the fact that it does not recreate and it vexes Sceliphron is false.; int3 & sent14 -> int4: that the one-spot does not recreate and does vex Sceliphron does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the one-spot does not recreate is not true.; int6 & sent17 -> int7: the fact that the dough is both archosaurian and not bromidic does not hold.; sent21 -> int8: the dough is not an escaped if that it is archosaurian but not bromidic is wrong.; int7 & int8 -> int9: the dough does not escape.; int9 & sent4 -> hypothesis;
that the dough is not an escaped but it is hair-shirt does not hold.
sent1 -> int10: the fact that the dough is not a kind of an escaped and is hair-shirt is not right if that that it is not a shtik hold is not true.; sent11 -> int11: if the one-spot is not bromidic then that it does recreate and vexes Sceliphron is wrong.; sent2 -> int12: if that the one-spot is not a hypotensive but it is archosaurian is right the fact that it is bromidic does not hold.; sent9 -> int13: if the one-spot is a neurophysiology then it is not a kind of a hypotensive and is a enthalpy.; sent10 -> int14: the regeneration is archosaurian if it vexes cowfish and it does not pleach triumph.; sent12 & sent8 -> int15: the regeneration vexes cowfish and does not pleach triumph.; int14 & int15 -> int16: the fact that the regeneration is archosaurian is not wrong.; sent5 & int16 -> int17: the one-spot is archosaurian.;
$hypothesis$ = the dough does not escape and is hair-shirt. ; $context$ = sent1: if something is a shtik then the fact that it is not an escaped and is hair-shirt is incorrect. sent2: something is not bromidic if that it is not a hypotensive and it is archosaurian hold. sent3: if something is a hypotensive then that it does not recreate and does vex Sceliphron is not true. sent4: the dough is hair-shirt. sent5: if the regeneration is archosaurian then the one-spot is archosaurian. sent6: if the fact that the one-spot does recreate is right the fact that the dough is archosaurian and is bromidic is not correct. sent7: the fact that the dough is both archosaurian and bromidic is incorrect. sent8: the regeneration is a trefoil. sent9: if something is a kind of a neurophysiology it is a kind of non-hypotensive a enthalpy. sent10: if something that vexes cowfish does not pleach triumph then it is archosaurian. sent11: the fact that something recreates and vexes Sceliphron does not hold if it is not bromidic. sent12: the regeneration does vex cowfish but it does not pleach triumph if it is a kind of a trefoil. sent13: the one-spot is a kind of a neurophysiology if it does pleach bullfighter. sent14: the one-spot is not non-hypotensive. sent15: something does not escape if that it is bromidic is correct. sent16: if the dough is bromidic then it is not an escaped. sent17: if the one-spot does recreate then that the dough is archosaurian and is not bromidic does not hold. sent18: the egg-and-dart does not recreate. sent19: the undercoat is hair-shirt. sent20: the one-spot is a shtik and it does vex Sceliphron. sent21: if the fact that something is archosaurian but it is not bromidic is incorrect it is not an escaped. sent22: if the egg-and-dart does not recreate it pleaches geometer and it vexes Sceliphron. ; $proof$ = 
sent20 -> int1: that the one-spot does vex Sceliphron hold.; void -> assump1: Let's assume that the one-spot does not recreate.; int1 & assump1 -> int2: the one-spot does not recreate but it does vex Sceliphron.; sent3 -> int3: if the one-spot is a hypotensive then the fact that it does not recreate and it vexes Sceliphron is false.; int3 & sent14 -> int4: that the one-spot does not recreate and does vex Sceliphron does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the one-spot does not recreate is not true.; int6 & sent17 -> int7: the fact that the dough is both archosaurian and not bromidic does not hold.; sent21 -> int8: the dough is not an escaped if that it is archosaurian but not bromidic is wrong.; int7 & int8 -> int9: the dough does not escape.; int9 & sent4 -> hypothesis; __PROVED__