Anne is quiet. Gary is quiet. Gary is red. All furry people are smart. All quiet, furry people are smart. Cold people are smart. Quiet people are big. If someone is quiet and big then they are cold. If Gary is cold then Gary is big. If someone is furry and not red then they are quiet. If Anne is cold and Anne is not furry then Anne is not quiet.
Gary is quiet.
@0: Anne is quiet.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3)] @1: Anne is big.[(((triple1) -> rule4))] Gary is big.[(((triple2) -> rule4))] @2: Anne is cold.[(((triple1 ((triple1) -> rule4)) -> rule5))] Gary is cold.[(((triple2 ((triple2) -> rule4)) -> rule5))] @3: Anne is smart.[(((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3))] Gary is smart.[(((((triple2 ((triple2) -> rule4)) -> rule5)) -> rule3))]