Charlie is green. Charlie is rough. Harry is round. If Charlie is rough then Charlie is cold. If Harry is young and Harry is green then Harry is nice. If something is cold then it is furry. Furry, green things are nice. If something is furry and round then it is rough. Rough, cold things are green.
Harry is green.
@0: Charlie is green.[(triple1 OR ((triple2 ((triple2) -> rule1)) -> rule6))] Charlie is rough.[(triple2)] Harry is round.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule1))] @2: Charlie is furry.[(((((triple2) -> rule1)) -> rule3))] @3: Charlie is nice.[(((((((triple2) -> rule1)) -> rule3) triple1) -> rule4) OR ((((((triple2) -> rule1)) -> rule3) ((triple2 ((triple2) -> rule1)) -> rule6)) -> rule4))]