that the oat moderates is not false.
sent1: the figeater is not a feather. sent2: that if the fact that the figeater does feather and is a kind of a pituitary is not true then the trident does not powwow exoneration is true. sent3: the oat is collapsible and it does powwow Freemason. sent4: the oat is both a dustcloth and moderate. sent5: the oat is a dustcloth. sent6: that something is not a dustcloth and it does not react is false if it does not powwow exoneration. sent7: the barrette is a dustcloth.
sent4 -> hypothesis;
the oat does not moderate.
sent6 -> int1: if the trident does not powwow exoneration the fact that it is not a kind of a dustcloth and it does not react does not hold.;
$hypothesis$ = that the oat moderates is not false. ; $context$ = sent1: the figeater is not a feather. sent2: that if the fact that the figeater does feather and is a kind of a pituitary is not true then the trident does not powwow exoneration is true. sent3: the oat is collapsible and it does powwow Freemason. sent4: the oat is both a dustcloth and moderate. sent5: the oat is a dustcloth. sent6: that something is not a dustcloth and it does not react is false if it does not powwow exoneration. sent7: the barrette is a dustcloth. ; $proof$ = 
sent4 -> hypothesis; __PROVED__