Fiona is furry. Gary is blue. All smart things are blue. If something is round and not red then it is not blue. If something is blue and young then it is furry. If something is red then it is round. Blue things are young. Furry things are smart.
Fiona is not young.
@0: Fiona is furry.[(triple1)] Gary is blue.[(triple2)] @1: Fiona is smart.[(((triple1) -> rule6))] Gary is young.[(((triple2) -> rule5))] @2: Fiona is blue.[(((((triple1) -> rule6)) -> rule1))] Gary is furry.[(((triple2 ((triple2) -> rule5)) -> rule3))] @3: Fiona is young.[(((((((triple1) -> rule6)) -> rule1)) -> rule5))] Gary is smart.[(((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule6))]