Anne is red. Fiona is red. Gary is quiet. Harry is cold. All green things are nice. All furry things are green. All young things are cold. Cold things are red. If something is red then it is green. Green, cold things are quiet.
Harry is not young.
@0: Anne is red.[(triple1)] Fiona is red.[(triple2)] Gary is quiet.[(triple3)] Harry is cold.[(triple4)] @1: Anne is green.[(((triple1) -> rule5))] Fiona is green.[(((triple2) -> rule5))] Harry is red.[(((triple4) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule5)) -> rule1))] Fiona is nice.[(((((triple2) -> rule5)) -> rule1))] Harry is green.[(((((triple4) -> rule4)) -> rule5))] @3: Harry is nice.[(((((((triple4) -> rule4)) -> rule5)) -> rule1))] Harry is quiet.[(((((((triple4) -> rule4)) -> rule5) triple4) -> rule6))]