the fact that the fact that the bandsman is a kind of raptorial thing that is an additive is not true is right.
sent1: if that the homozygote is a Protestant and it is a take-up does not hold it is not a take-up. sent2: something does lace Raffia if the fact that it is not a Fagopyrum hold. sent3: the fact that the homozygote is a kind of a Protestant and is a kind of a take-up is not true. sent4: the fact that if the homozygote does not lace arborvitae the homozygote is an additive hold. sent5: if the trochlear shears then the bandsman is a Fagopyrum. sent6: something is a kind of a shears if it laces Raffia. sent7: if something is not a take-up it is not a Fagopyrum. sent8: the arborvitae is raptorial. sent9: if the bandsman is an additive then it is a kind of a Protestant. sent10: if something does not lace Raffia it is raptorial thing that is additive. sent11: if something shears that the bandsman is raptorial and an additive does not hold.
sent7 -> int1: the homozygote is not a kind of a Fagopyrum if it is not a take-up.; sent1 & sent3 -> int2: the homozygote is not a take-up.; int1 & int2 -> int3: the homozygote is not a kind of a Fagopyrum.; sent2 -> int4: if the homozygote is not a Fagopyrum the fact that it laces Raffia hold.; int3 & int4 -> int5: the homozygote does lace Raffia.; sent6 -> int6: if the homozygote laces Raffia then it is a shears.; int5 & int6 -> int7: the homozygote shears.; int7 -> int8: there exists something such that it shears.; int8 & sent11 -> hypothesis;
the bandsman is raptorial and is not non-additive.
sent10 -> int9: the bandsman is raptorial and is an additive if it does not lace Raffia.;
$hypothesis$ = the fact that the fact that the bandsman is a kind of raptorial thing that is an additive is not true is right. ; $context$ = sent1: if that the homozygote is a Protestant and it is a take-up does not hold it is not a take-up. sent2: something does lace Raffia if the fact that it is not a Fagopyrum hold. sent3: the fact that the homozygote is a kind of a Protestant and is a kind of a take-up is not true. sent4: the fact that if the homozygote does not lace arborvitae the homozygote is an additive hold. sent5: if the trochlear shears then the bandsman is a Fagopyrum. sent6: something is a kind of a shears if it laces Raffia. sent7: if something is not a take-up it is not a Fagopyrum. sent8: the arborvitae is raptorial. sent9: if the bandsman is an additive then it is a kind of a Protestant. sent10: if something does not lace Raffia it is raptorial thing that is additive. sent11: if something shears that the bandsman is raptorial and an additive does not hold. ; $proof$ = 
sent7 -> int1: the homozygote is not a kind of a Fagopyrum if it is not a take-up.; sent1 & sent3 -> int2: the homozygote is not a take-up.; int1 & int2 -> int3: the homozygote is not a kind of a Fagopyrum.; sent2 -> int4: if the homozygote is not a Fagopyrum the fact that it laces Raffia hold.; int3 & int4 -> int5: the homozygote does lace Raffia.; sent6 -> int6: if the homozygote laces Raffia then it is a shears.; int5 & int6 -> int7: the homozygote shears.; int7 -> int8: there exists something such that it shears.; int8 & sent11 -> hypothesis; __PROVED__