Anne is nice. Erin is young. Fiona is furry. Harry is kind. All furry things are young. If something is cold and furry then it is nice. All smart things are red. All kind, young things are cold. Cold, red things are nice. If something is young then it is red. Red things are smart. If Harry is cold and Harry is young then Harry is nice.
Harry is not kind.
@0: Anne is nice.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] Harry is kind.[(triple4)] @1: Erin is red.[(((triple2) -> rule6))] Fiona is young.[(((triple3) -> rule1))] @2: Erin is smart.[(((((triple2) -> rule6)) -> rule7))] Fiona is red.[(((((triple3) -> rule1)) -> rule6))] @3: Fiona is smart.[(((((((triple3) -> rule1)) -> rule6)) -> rule7))]