if the aminomethane is a Mobius the plainsman represses plainsman.
sent1: that that something is not sectorial and is not retentive is correct does not hold if it does sample rudapithecus. sent2: the tilth is cleistogamous. sent3: something is a Muenster if that it is not sectorial and is not retentive is incorrect. sent4: the aminomethane does cramp. sent5: the aminomethane represses plainsman if the plainsman does not repress radical. sent6: the fact that if the plainsman is cleistogamous the aminomethane is a Mobius is true. sent7: the aminomethane represses plainsman. sent8: if the plainsman does not repress Bucconidae the aminomethane does repress plainsman. sent9: the plainsman does tick whiffletree and does sample rudapithecus. sent10: if the aminomethane is a Mobius then the fact that it is cleistogamous hold. sent11: the Balmoral represses plainsman. sent12: the plainsman does repress plainsman if the aminomethane is cleistogamous. sent13: if the aminomethane is a kind of a Mobius then that it represses plainsman hold. sent14: something does not repress Bucconidae or it does not repress radical or both if it is a kind of a Muenster. sent15: the plainsman is a Mobius. sent16: if the aminomethane represses plainsman the plainsman is a Mobius. sent17: if the plainsman is a kind of a Mobius then the fact that the aminomethane does repress plainsman hold.
void -> assump1: Let's assume that the aminomethane is a Mobius.; sent10 & assump1 -> int1: the fact that the aminomethane is cleistogamous is correct.; sent12 & int1 -> int2: that the plainsman represses plainsman is not false.; [assump1] & int2 -> hypothesis;
the gasification is a Mobius.
sent14 -> int3: the plainsman does not repress Bucconidae and/or does not repress radical if it is a Muenster.; sent3 -> int4: the plainsman is a kind of a Muenster if the fact that it is not sectorial but unretentive is not right.; sent1 -> int5: the fact that the plainsman is not sectorial and it is not retentive is not true if it samples rudapithecus.; sent9 -> int6: the plainsman samples rudapithecus.; int5 & int6 -> int7: the fact that the plainsman is not sectorial and it is not retentive does not hold.; int4 & int7 -> int8: the plainsman is a kind of a Muenster.; int3 & int8 -> int9: the plainsman does not repress Bucconidae and/or it does not repress radical.; int9 & sent8 & sent5 -> int10: the aminomethane represses plainsman.; int10 -> int11: there is something such that it represses plainsman.;
$hypothesis$ = if the aminomethane is a Mobius the plainsman represses plainsman. ; $context$ = sent1: that that something is not sectorial and is not retentive is correct does not hold if it does sample rudapithecus. sent2: the tilth is cleistogamous. sent3: something is a Muenster if that it is not sectorial and is not retentive is incorrect. sent4: the aminomethane does cramp. sent5: the aminomethane represses plainsman if the plainsman does not repress radical. sent6: the fact that if the plainsman is cleistogamous the aminomethane is a Mobius is true. sent7: the aminomethane represses plainsman. sent8: if the plainsman does not repress Bucconidae the aminomethane does repress plainsman. sent9: the plainsman does tick whiffletree and does sample rudapithecus. sent10: if the aminomethane is a Mobius then the fact that it is cleistogamous hold. sent11: the Balmoral represses plainsman. sent12: the plainsman does repress plainsman if the aminomethane is cleistogamous. sent13: if the aminomethane is a kind of a Mobius then that it represses plainsman hold. sent14: something does not repress Bucconidae or it does not repress radical or both if it is a kind of a Muenster. sent15: the plainsman is a Mobius. sent16: if the aminomethane represses plainsman the plainsman is a Mobius. sent17: if the plainsman is a kind of a Mobius then the fact that the aminomethane does repress plainsman hold. ; $proof$ = 
void -> assump1: Let's assume that the aminomethane is a Mobius.; sent10 & assump1 -> int1: the fact that the aminomethane is cleistogamous is correct.; sent12 & int1 -> int2: that the plainsman represses plainsman is not false.; [assump1] & int2 -> hypothesis; __PROVED__