the platform is not a voodoo.
sent1: if the platform is fruitful thing that is pubic it is not hydrophobic. sent2: the mishap is hydrophobic and it is reconcilable. sent3: the platform is not a voodoo if it does flick Compton and it is fruitful. sent4: the barn is hydrophobic if it is a BD. sent5: if the barn is hydrophobic but it is not pubic the platform is fruitful. sent6: the barn is pubic and is not a kind of a BD. sent7: if the ramrod is not fruitful that the fact that the substitute does flick Compton but it is not hydrophobic hold does not hold. sent8: the platform is not pubic. sent9: the platform is not unfruitful if the barn is pubic and it is a kind of a BD. sent10: the platform is a BD if the barn is hydrophobic but it does not voodoo. sent11: the barn is not a BD. sent12: the platform is fruitful if the barn is pubic and is not a BD. sent13: the Colony is fruitful. sent14: the barn flicks Compton if it is a kind of a BD. sent15: the platform is not impressionable. sent16: the fact that the platform is hydrophobic is true. sent17: the fact that the barn is pubic is not wrong if the platform is pubic. sent18: the barn does voodoo if the platform is a BD but it does not flick Compton. sent19: the platform flicks Compton if it is hydrophobic. sent20: the platform is not a kind of a Tibet. sent21: if the platform is not non-pubic and it is fruitful then it does not flick Compton. sent22: a pubic thing is a kind of unfruitful thing that does not voodoo.
sent19 & sent16 -> int1: that the platform does flick Compton is true.; sent12 & sent6 -> int2: the platform is fruitful.; int1 & int2 -> int3: the platform does flick Compton and it is fruitful.; int3 & sent3 -> hypothesis;
the barn does not flick Compton.
sent22 -> int4: the barn is a kind of unfruitful thing that does not voodoo if the fact that it is pubic is right.;
$hypothesis$ = the platform is not a voodoo. ; $context$ = sent1: if the platform is fruitful thing that is pubic it is not hydrophobic. sent2: the mishap is hydrophobic and it is reconcilable. sent3: the platform is not a voodoo if it does flick Compton and it is fruitful. sent4: the barn is hydrophobic if it is a BD. sent5: if the barn is hydrophobic but it is not pubic the platform is fruitful. sent6: the barn is pubic and is not a kind of a BD. sent7: if the ramrod is not fruitful that the fact that the substitute does flick Compton but it is not hydrophobic hold does not hold. sent8: the platform is not pubic. sent9: the platform is not unfruitful if the barn is pubic and it is a kind of a BD. sent10: the platform is a BD if the barn is hydrophobic but it does not voodoo. sent11: the barn is not a BD. sent12: the platform is fruitful if the barn is pubic and is not a BD. sent13: the Colony is fruitful. sent14: the barn flicks Compton if it is a kind of a BD. sent15: the platform is not impressionable. sent16: the fact that the platform is hydrophobic is true. sent17: the fact that the barn is pubic is not wrong if the platform is pubic. sent18: the barn does voodoo if the platform is a BD but it does not flick Compton. sent19: the platform flicks Compton if it is hydrophobic. sent20: the platform is not a kind of a Tibet. sent21: if the platform is not non-pubic and it is fruitful then it does not flick Compton. sent22: a pubic thing is a kind of unfruitful thing that does not voodoo. ; $proof$ = 
sent19 & sent16 -> int1: that the platform does flick Compton is true.; sent12 & sent6 -> int2: the platform is fruitful.; int1 & int2 -> int3: the platform does flick Compton and it is fruitful.; int3 & sent3 -> hypothesis; __PROVED__