that the headgear is narial and does sustain is incorrect.
sent1: if something is not a kind of a quaker then that the transgression is not toneless and petrifies is not true. sent2: if the protoplasm does not sustain then the fact that the headgear is narial and it sustain is not correct. sent3: the petard is ohmic if there exists something such that that it is toned and petrifies is not right. sent4: the transgression is not toneless if the tillage does not hone Illicium. sent5: if the petard bicycles then the protoplasm does not sustain. sent6: something is narial and it does sustain if it does not petrify. sent7: that the transgression is not toneless is correct if that the tillage does hone Illicium and is a kind of a pudendum does not hold. sent8: the fact that the protoplasm is not narial and does not sustain is not true. sent9: the petard either is a kind of a quaker or is a kind of a bicycle or both if the farmhouse is not a bicycle. sent10: there exists something such that the fact that it is fungoid and it outgrows Ull is wrong. sent11: something is not a quaker if the fact that it is non-narial thing that does not sustain is not correct. sent12: the protoplasm does not sustain if the petard is a quaker. sent13: if the tillage is not a pudendum that it petrifies and is toneless is not correct. sent14: the tillage does not petrify. sent15: if the transgression is both not toneless and not a bicycle the headgear does not petrify. sent16: that something hones Illicium and is a kind of a pudendum is not right if the fact that it does not petrify hold. sent17: the farmhouse is not a bicycle if it is not toned and it does outgrow Ull. sent18: if there exists something such that it does not outgrow Ull the petard is a pudendum and a bicycle. sent19: the farmhouse is toneless and it outgrows Ull if the transgression is not toneless. sent20: something is not toneless and it is not a kind of a bicycle if it does not outgrow Ull. sent21: if the fact that the transgression is not toneless is correct the farmhouse outgrows Ull.
sent16 -> int1: that the tillage does hone Illicium and it is a pudendum is wrong if it does not petrify.; int1 & sent14 -> int2: the fact that the tillage does hone Illicium and it is a kind of a pudendum does not hold.; int2 & sent7 -> int3: the transgression is not toneless.; int3 & sent19 -> int4: the farmhouse is toneless and it does outgrow Ull.; int4 & sent17 -> int5: the farmhouse is not a bicycle.; int5 & sent9 -> int6: either the petard is a quaker or it bicycles or both.; int6 & sent12 & sent5 -> int7: the protoplasm does not sustain.; int7 & sent2 -> hypothesis;
the headgear is narial and it does sustain.
sent6 -> int8: if the headgear does not petrify then it is narial and it does sustain.; sent20 -> int9: if the transgression does not outgrow Ull then it is not toneless and it does not bicycle.;
$hypothesis$ = that the headgear is narial and does sustain is incorrect. ; $context$ = sent1: if something is not a kind of a quaker then that the transgression is not toneless and petrifies is not true. sent2: if the protoplasm does not sustain then the fact that the headgear is narial and it sustain is not correct. sent3: the petard is ohmic if there exists something such that that it is toned and petrifies is not right. sent4: the transgression is not toneless if the tillage does not hone Illicium. sent5: if the petard bicycles then the protoplasm does not sustain. sent6: something is narial and it does sustain if it does not petrify. sent7: that the transgression is not toneless is correct if that the tillage does hone Illicium and is a kind of a pudendum does not hold. sent8: the fact that the protoplasm is not narial and does not sustain is not true. sent9: the petard either is a kind of a quaker or is a kind of a bicycle or both if the farmhouse is not a bicycle. sent10: there exists something such that the fact that it is fungoid and it outgrows Ull is wrong. sent11: something is not a quaker if the fact that it is non-narial thing that does not sustain is not correct. sent12: the protoplasm does not sustain if the petard is a quaker. sent13: if the tillage is not a pudendum that it petrifies and is toneless is not correct. sent14: the tillage does not petrify. sent15: if the transgression is both not toneless and not a bicycle the headgear does not petrify. sent16: that something hones Illicium and is a kind of a pudendum is not right if the fact that it does not petrify hold. sent17: the farmhouse is not a bicycle if it is not toned and it does outgrow Ull. sent18: if there exists something such that it does not outgrow Ull the petard is a pudendum and a bicycle. sent19: the farmhouse is toneless and it outgrows Ull if the transgression is not toneless. sent20: something is not toneless and it is not a kind of a bicycle if it does not outgrow Ull. sent21: if the fact that the transgression is not toneless is correct the farmhouse outgrows Ull. ; $proof$ = 
sent16 -> int1: that the tillage does hone Illicium and it is a pudendum is wrong if it does not petrify.; int1 & sent14 -> int2: the fact that the tillage does hone Illicium and it is a kind of a pudendum does not hold.; int2 & sent7 -> int3: the transgression is not toneless.; int3 & sent19 -> int4: the farmhouse is toneless and it does outgrow Ull.; int4 & sent17 -> int5: the farmhouse is not a bicycle.; int5 & sent9 -> int6: either the petard is a quaker or it bicycles or both.; int6 & sent12 & sent5 -> int7: the protoplasm does not sustain.; int7 & sent2 -> hypothesis; __PROVED__