Fiona is kind. Gary is kind. Harry is kind. All young, kind things are cold. If something is rough then it is young. All furry things are young. If Gary is furry then Gary is cold. All kind, cold things are green. Kind things are rough.
Fiona is not round.
@0: Fiona is kind.[(triple1)] Gary is kind.[(triple2)] Harry is kind.[(triple3)] @1: Fiona is rough.[(((triple1) -> rule6))] Gary is rough.[(((triple2) -> rule6))] Harry is rough.[(((triple3) -> rule6))] @2: Fiona is young.[(((((triple1) -> rule6)) -> rule2))] Gary is young.[(((((triple2) -> rule6)) -> rule2))] Harry is young.[(((((triple3) -> rule6)) -> rule2))] @3: Fiona is cold.[(((((((triple1) -> rule6)) -> rule2) triple1) -> rule1))] Gary is cold.[(((((((triple2) -> rule6)) -> rule2) triple2) -> rule1))] Harry is cold.[(((((((triple3) -> rule6)) -> rule2) triple3) -> rule1))] @4: Fiona is green.[(((triple1 ((((((triple1) -> rule6)) -> rule2) triple1) -> rule1)) -> rule5))] Gary is green.[(((triple2 ((((((triple2) -> rule6)) -> rule2) triple2) -> rule1)) -> rule5))] Harry is green.[(((triple3 ((((((triple3) -> rule6)) -> rule2) triple3) -> rule1)) -> rule5))]