Anne is smart. Erin is quiet. Gary is quiet. All furry, round things are quiet. If something is smart then it is quiet. All young things are red. If something is red and quiet then it is young. All smart things are not young. If something is smart and not furry then it is young. If Gary is young and Gary is blue then Gary is quiet. Quiet things are smart.
Erin is quiet.
@0: Anne is smart.[(triple1)] Erin is quiet.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is not young.[(((triple1) -> rule5))] Anne is quiet.[(((triple1) -> rule2))] Erin is smart.[(((triple2) -> rule8))] Gary is smart.[(((triple3) -> rule8))] @2: Erin is not young.[(((((triple2) -> rule8)) -> rule5))] Gary is not young.[(((((triple3) -> rule8)) -> rule5))]