Anne is not young. Gary is furry. Furry things are young. All kind things are smart. Young things are furry. If something is kind and furry then it is quiet. Young things are kind. If something is young and furry then it is not cold.
Gary is not young.
@0: Anne is not young.[(triple1)] Gary is furry.[(triple2)] @1: Gary is young.[(((triple2) -> rule1))] @2: Gary is kind.[(((((triple2) -> rule1)) -> rule5))] Gary is not cold.[(((((triple2) -> rule1) triple2) -> rule6))] @3: Gary is quiet.[(((((((triple2) -> rule1)) -> rule5) triple2) -> rule4))] Gary is smart.[(((((((triple2) -> rule1)) -> rule5)) -> rule2))]