Charlie is blue. Harry is green. All big, kind things are blue. Green, blue things are red. Furry, quiet things are blue. All furry things are green. If something is big and furry then it is green. Kind things are furry. If something is furry and quiet then it is blue. All blue things are kind.
Harry is not green.
@0: Charlie is blue.[(triple1)] Harry is green.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule8))] @2: Charlie is furry.[(((((triple1) -> rule8)) -> rule6))] @3: Charlie is green.[(((((((triple1) -> rule8)) -> rule6)) -> rule4))] @4: Charlie is red.[(((((((((triple1) -> rule8)) -> rule6)) -> rule4) triple1) -> rule2))]