Charlie is green. Charlie is nice. Charlie is rough. Charlie is white. Harry is rough. Harry is round. Harry is white. Round, furry things are rough. Round, white things are nice. Rough, round things are nice. If something is nice then it is furry. All green things are not round. If something is rough and not green then it is round. If Charlie is furry and Charlie is not green then Charlie is big. If Harry is furry then Harry is big.
Harry is not furry.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Harry is rough.[(triple5 OR ((triple6 ((((triple6 triple7) -> rule2)) -> rule4)) -> rule1))] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Charlie is furry.[(((triple2) -> rule4))] Charlie is not round.[(((triple1) -> rule5))] Harry is nice.[(((triple5 triple6) -> rule3) OR ((triple6 triple7) -> rule2))] @2: Harry is furry.[(((((triple5 triple6) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule2)) -> rule4))] @3: Harry is big.[(((((((triple5 triple6) -> rule3)) -> rule4)) -> rule8) OR ((((((triple6 triple7) -> rule2)) -> rule4)) -> rule8))]