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