Charlie is nice. Charlie is rough. Gary is rough. If something is rough then it is cold. All rough things are blue. Rough things are nice. If Gary is young then Gary is blue. Cold, rough things are young. All blue, young things are furry.
Charlie is rough.
@0: Charlie is nice.[(triple1 OR ((triple2) -> rule3))] Charlie is rough.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is blue.[(((triple2) -> rule2))] Charlie is cold.[(((triple2) -> rule1))] Gary is blue.[(((triple3) -> rule2) OR ((((((triple3) -> rule1) triple3) -> rule5)) -> rule4))] Gary is cold.[(((triple3) -> rule1))] Gary is nice.[(((triple3) -> rule3))] @2: Charlie is young.[(((((triple2) -> rule1) triple2) -> rule5))] Gary is young.[(((((triple3) -> rule1) triple3) -> rule5))] @3: Charlie is furry.[(((((triple2) -> rule2) ((((triple2) -> rule1) triple2) -> rule5)) -> rule6))] Gary is furry.[(((((triple3) -> rule2) ((((triple3) -> rule1) triple3) -> rule5)) -> rule6) OR ((((((((triple3) -> rule1) triple3) -> rule5)) -> rule4) ((((triple3) -> rule1) triple3) -> rule5)) -> rule6))]