that the siderocyte shivers compromiser and is a Arabian is false.
sent1: if the traitress shivers compromiser then the siderocyte shivers compromiser. sent2: the traitress does not excuse carpel. sent3: the traitress is a Benzoin if the siderocyte is cautious. sent4: if that something does not excuse carpel but it is a Benzoin is not true then it is not a kind of a Benzoin. sent5: the bottle-tree does shiver Hopkinson. sent6: that the bottle-tree is not a Arabian is true if there exists something such that the fact that it is not a metallic is right. sent7: the fact that the Kansan does shiver Hopkinson is true. sent8: The Hopkinson does shiver bottle-tree. sent9: that something does not shiver compromiser and is cautious is not correct if it is not a Benzoin. sent10: if there exists something such that it is a Benzoin and/or it is a tammy the bottle-tree does not excuse carpel. sent11: there is something such that it is not a kind of a metallic. sent12: if the fact that the bottle-tree is not a Arabian is not incorrect the fact that that the traitress does not shiver Hopkinson but it does excuse carpel is false is true. sent13: the bottle-tree is not cautious. sent14: the traitress shivers compromiser if there is something such that that it does not shivers compromiser and is cautious does not hold. sent15: that the bottle-tree does not shiver Hopkinson is not wrong if the fact that it does not excuse carpel is not false. sent16: the homograft is a Mytilus. sent17: that the fact that the siderocyte does shiver compromiser and it is a Benzoin is not incorrect does not hold if it does not shiver Hopkinson. sent18: the fact that everything is not a tammy is true. sent19: that the siderocyte does shiver compromiser and it is a Arabian is not correct if it is not cautious. sent20: if there exists something such that it is a tammy then the bottle-tree does not excuse carpel.
void -> assump1: Let's assume that the siderocyte is cautious.; sent3 & assump1 -> int1: the traitress is a Benzoin.; int1 -> int2: the traitress is a Benzoin and/or it is a tammy.; int2 -> int3: there exists something such that it is a Benzoin and/or it is a kind of a tammy.; int3 & sent10 -> int4: the bottle-tree does not excuse carpel.; int4 & sent15 -> int5: that the bottle-tree does not shiver Hopkinson is not wrong.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the siderocyte is not cautious.; int7 & sent19 -> hypothesis;
the siderocyte shivers compromiser and is a Arabian.
sent4 -> int8: the bottle-tree is not a Benzoin if that it does not excuse carpel and is a Benzoin is not true.; sent18 -> int9: the galvanism is not a tammy.; sent9 -> int10: the fact that the bottle-tree does not shiver compromiser and is cautious does not hold if it is not a Benzoin.;
$hypothesis$ = that the siderocyte shivers compromiser and is a Arabian is false. ; $context$ = sent1: if the traitress shivers compromiser then the siderocyte shivers compromiser. sent2: the traitress does not excuse carpel. sent3: the traitress is a Benzoin if the siderocyte is cautious. sent4: if that something does not excuse carpel but it is a Benzoin is not true then it is not a kind of a Benzoin. sent5: the bottle-tree does shiver Hopkinson. sent6: that the bottle-tree is not a Arabian is true if there exists something such that the fact that it is not a metallic is right. sent7: the fact that the Kansan does shiver Hopkinson is true. sent8: The Hopkinson does shiver bottle-tree. sent9: that something does not shiver compromiser and is cautious is not correct if it is not a Benzoin. sent10: if there exists something such that it is a Benzoin and/or it is a tammy the bottle-tree does not excuse carpel. sent11: there is something such that it is not a kind of a metallic. sent12: if the fact that the bottle-tree is not a Arabian is not incorrect the fact that that the traitress does not shiver Hopkinson but it does excuse carpel is false is true. sent13: the bottle-tree is not cautious. sent14: the traitress shivers compromiser if there is something such that that it does not shivers compromiser and is cautious does not hold. sent15: that the bottle-tree does not shiver Hopkinson is not wrong if the fact that it does not excuse carpel is not false. sent16: the homograft is a Mytilus. sent17: that the fact that the siderocyte does shiver compromiser and it is a Benzoin is not incorrect does not hold if it does not shiver Hopkinson. sent18: the fact that everything is not a tammy is true. sent19: that the siderocyte does shiver compromiser and it is a Arabian is not correct if it is not cautious. sent20: if there exists something such that it is a tammy then the bottle-tree does not excuse carpel. ; $proof$ = 
void -> assump1: Let's assume that the siderocyte is cautious.; sent3 & assump1 -> int1: the traitress is a Benzoin.; int1 -> int2: the traitress is a Benzoin and/or it is a tammy.; int2 -> int3: there exists something such that it is a Benzoin and/or it is a kind of a tammy.; int3 & sent10 -> int4: the bottle-tree does not excuse carpel.; int4 & sent15 -> int5: that the bottle-tree does not shiver Hopkinson is not wrong.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the siderocyte is not cautious.; int7 & sent19 -> hypothesis; __PROVED__