Charlie is green. Gary is furry. Gary is nice. Gary is red. Gary is round. Harry is not red. Harry is smart. If Harry is green and Harry is red then Harry is nice. If something is smart then it is green. If something is green and not round then it is nice. Furry things are nice. Round things are nice. All green things are smart. If Harry is green then Harry is furry. Smart things are not red.
Harry is green.
@0: Charlie is green.[(triple1)] Gary is furry.[(triple2)] Gary is nice.[(triple3 OR ((triple2) -> rule4) OR ((triple5) -> rule5))] Gary is red.[(triple4)] Gary is round.[(triple5)] Harry is not red.[(triple6 OR ((triple7) -> rule8))] Harry is smart.[(triple7)] @1: Charlie is smart.[(((triple1) -> rule6))] Harry is green.[(((triple7) -> rule2))] @2: Charlie is not red.[(((((triple1) -> rule6)) -> rule8))] Harry is furry.[(((((triple7) -> rule2)) -> rule7))] @3: Harry is nice.[(((((((triple7) -> rule2)) -> rule7)) -> rule4))]