Fiona is red. Fiona is white. Gary is not red. If Gary is not white then Gary is not young. If something is white and not green then it is quiet. White things are smart. If Fiona is green then Fiona is red. White things are young. If something is smart and not quiet then it is not young. Young things are furry. Quiet, young things are furry.
Gary is not red.
@0: Fiona is red.[(triple1)] Fiona is white.[(triple2)] Gary is not red.[(triple3)] @1: Fiona is smart.[(((triple2) -> rule3))] Fiona is young.[(((triple2) -> rule5))] @2: Fiona is furry.[(((((triple2) -> rule5)) -> rule7))]