the pylon is a kind of a bouffe.
sent1: the pylon is worthless. sent2: something that is not a kind of a deco either does dive flathead or is sensitive or both. sent3: something dives flathead and/or is not a kind of a burrow. sent4: if the chebab dives flathead the Rajput is sensitive. sent5: there exists something such that it is sensitive and/or it is not a downstage. sent6: that the Rajput is aeromechanics is correct if the chebab does not spread Benton. sent7: the fact that the chebab does not respect Cancridae and it is not a woven is not right. sent8: that the Rajput spreads Benton is right if something respects fastidiousness and/or is not worthless. sent9: if the chebab is sensitive the Rajput is sensitive. sent10: if the chebab is a kind of a burrow then that it is a downstage and it is sensitive is false. sent11: that the chebab is a downstage and it is sensitive is not correct. sent12: something is a burrow if that it is aeromechanics is right. sent13: if something is both not insensitive and not non-downstage then the pylon is not a burrow. sent14: the chebab does dive flathead. sent15: if that the pylon respects fastidiousness or it is worthless or both is not right it is a kind of a bouffe. sent16: if the fact that the chebab is a downstage and is not sensitive is false then it does not dive flathead. sent17: the yardman is not non-aeromechanics if that the Rajput is non-aeromechanics hold. sent18: if there is something such that it is upmarket the easel is both a downstage and a rock. sent19: if the Rajput does spread Benton the chebab is aeromechanics. sent20: the wether is upmarket. sent21: something is not a kind of a deco if that it does not respect Cancridae and is not a woven is wrong. sent22: that the chebab is downstage thing that is not sensitive is not correct if it is a kind of a burrow. sent23: if the fact that the pylon respects fastidiousness and/or is not worthless is not correct it is a kind of a bouffe. sent24: if the easel is a downstage the Rajput is a kind of a downstage. sent25: The flathead does dive chebab. sent26: something either is not aeromechanics or does not spread Benton or both if the fact that it is not a burrow is not wrong.
void -> assump1: Let's assume that the pylon respects fastidiousness and/or is valuable.; assump1 -> int1: something respects fastidiousness and/or it is not worthless.; int1 & sent8 -> int2: the Rajput spreads Benton.; int2 & sent19 -> int3: the chebab is aeromechanics.; sent12 -> int4: the chebab burrows if it is aeromechanics.; int3 & int4 -> int5: that the chebab burrows hold.; int5 & sent22 -> int6: that the chebab is a downstage and is not sensitive is not correct.; int6 & sent16 -> int7: the fact that the chebab does not dive flathead is not wrong.; int7 & sent14 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the pylon does respect fastidiousness and/or it is not worthless is false.; int9 & sent23 -> hypothesis;
the yardman is aeromechanics.
$hypothesis$ = the pylon is a kind of a bouffe. ; $context$ = sent1: the pylon is worthless. sent2: something that is not a kind of a deco either does dive flathead or is sensitive or both. sent3: something dives flathead and/or is not a kind of a burrow. sent4: if the chebab dives flathead the Rajput is sensitive. sent5: there exists something such that it is sensitive and/or it is not a downstage. sent6: that the Rajput is aeromechanics is correct if the chebab does not spread Benton. sent7: the fact that the chebab does not respect Cancridae and it is not a woven is not right. sent8: that the Rajput spreads Benton is right if something respects fastidiousness and/or is not worthless. sent9: if the chebab is sensitive the Rajput is sensitive. sent10: if the chebab is a kind of a burrow then that it is a downstage and it is sensitive is false. sent11: that the chebab is a downstage and it is sensitive is not correct. sent12: something is a burrow if that it is aeromechanics is right. sent13: if something is both not insensitive and not non-downstage then the pylon is not a burrow. sent14: the chebab does dive flathead. sent15: if that the pylon respects fastidiousness or it is worthless or both is not right it is a kind of a bouffe. sent16: if the fact that the chebab is a downstage and is not sensitive is false then it does not dive flathead. sent17: the yardman is not non-aeromechanics if that the Rajput is non-aeromechanics hold. sent18: if there is something such that it is upmarket the easel is both a downstage and a rock. sent19: if the Rajput does spread Benton the chebab is aeromechanics. sent20: the wether is upmarket. sent21: something is not a kind of a deco if that it does not respect Cancridae and is not a woven is wrong. sent22: that the chebab is downstage thing that is not sensitive is not correct if it is a kind of a burrow. sent23: if the fact that the pylon respects fastidiousness and/or is not worthless is not correct it is a kind of a bouffe. sent24: if the easel is a downstage the Rajput is a kind of a downstage. sent25: The flathead does dive chebab. sent26: something either is not aeromechanics or does not spread Benton or both if the fact that it is not a burrow is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the pylon respects fastidiousness and/or is valuable.; assump1 -> int1: something respects fastidiousness and/or it is not worthless.; int1 & sent8 -> int2: the Rajput spreads Benton.; int2 & sent19 -> int3: the chebab is aeromechanics.; sent12 -> int4: the chebab burrows if it is aeromechanics.; int3 & int4 -> int5: that the chebab burrows hold.; int5 & sent22 -> int6: that the chebab is a downstage and is not sensitive is not correct.; int6 & sent16 -> int7: the fact that the chebab does not dive flathead is not wrong.; int7 & sent14 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the pylon does respect fastidiousness and/or it is not worthless is false.; int9 & sent23 -> hypothesis; __PROVED__