Fiona is smart. Gary is not cold. If something is furry and not cold then it is not smart. If something is nice and young then it is smart. If Fiona is round then Fiona is not white. If something is smart and young then it is nice. Smart things are furry. Furry things are young.
Fiona is not furry.
@0: Fiona is smart.[(triple1)] Gary is not cold.[(triple2)] @1: Fiona is furry.[(((triple1) -> rule5))] @2: Fiona is young.[(((((triple1) -> rule5)) -> rule6))] @3: Fiona is nice.[(((triple1 ((((triple1) -> rule5)) -> rule6)) -> rule4))]