the plagiarist is a Chamaeleon and does wrestle cellar.
sent1: that the shuttlecock is choleraic is not false if the fact that it blues sugared and it is not a stick is false. sent2: the plagiarist does wrestle cellar. sent3: the watercolorist is binoculars if the shuttlecock is an orientation. sent4: the neoclassicist is not a kind of a fricative if the watercolorist is binoculars. sent5: The cellar does wrestle plagiarist. sent6: if the neoclassicist is not a fricative then the puncher is not a fricative but it is Cromwellian. sent7: that the shuttlecock blues sugared and does not stick is not true. sent8: if the shuttlecock is choleraic then it is an orientation. sent9: the plagiarist is a kind of a Chamaeleon if something that is not a fricative is Cromwellian. sent10: the shuttlecock is not a Chamaeleon if the watercolorist is an orientation and/or it is not choleraic.
sent1 & sent7 -> int1: the shuttlecock is choleraic.; int1 & sent8 -> int2: the shuttlecock is a kind of an orientation.; int2 & sent3 -> int3: the watercolorist is binoculars.; int3 & sent4 -> int4: the neoclassicist is not a fricative.; int4 & sent6 -> int5: the puncher is not a fricative but Cromwellian.; int5 -> int6: something is both not a fricative and Cromwellian.; int6 & sent9 -> int7: the plagiarist is a Chamaeleon.; int7 & sent2 -> hypothesis;
that the plagiarist is a Chamaeleon and wrestles cellar is wrong.
$hypothesis$ = the plagiarist is a Chamaeleon and does wrestle cellar. ; $context$ = sent1: that the shuttlecock is choleraic is not false if the fact that it blues sugared and it is not a stick is false. sent2: the plagiarist does wrestle cellar. sent3: the watercolorist is binoculars if the shuttlecock is an orientation. sent4: the neoclassicist is not a kind of a fricative if the watercolorist is binoculars. sent5: The cellar does wrestle plagiarist. sent6: if the neoclassicist is not a fricative then the puncher is not a fricative but it is Cromwellian. sent7: that the shuttlecock blues sugared and does not stick is not true. sent8: if the shuttlecock is choleraic then it is an orientation. sent9: the plagiarist is a kind of a Chamaeleon if something that is not a fricative is Cromwellian. sent10: the shuttlecock is not a Chamaeleon if the watercolorist is an orientation and/or it is not choleraic. ; $proof$ = 
sent1 & sent7 -> int1: the shuttlecock is choleraic.; int1 & sent8 -> int2: the shuttlecock is a kind of an orientation.; int2 & sent3 -> int3: the watercolorist is binoculars.; int3 & sent4 -> int4: the neoclassicist is not a fricative.; int4 & sent6 -> int5: the puncher is not a fricative but Cromwellian.; int5 -> int6: something is both not a fricative and Cromwellian.; int6 & sent9 -> int7: the plagiarist is a Chamaeleon.; int7 & sent2 -> hypothesis; __PROVED__