Anne is red. Dave is furry. Fiona is smart. Harry is blue. Smart things are nice. If Harry is smart then Harry is blue. All smart, young things are not red. If Fiona is smart and Fiona is not nice then Fiona is not furry. Nice things are young. All furry things are young.
Dave is not nice.
@0: Anne is red.[(triple1)] Dave is furry.[(triple2)] Fiona is smart.[(triple3)] Harry is blue.[(triple4)] @1: Dave is young.[(((triple2) -> rule6))] Fiona is nice.[(((triple3) -> rule1))] @2: Fiona is young.[(((((triple3) -> rule1)) -> rule5))] @3: Fiona is not red.[(((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule3))]