Anne is quiet. Bob is blue. Dave is not furry. Gary is not green. All quiet, cold people are not blue. If Dave is blue then Dave is green. If someone is cold and smart then they are furry. All smart people are cold. If someone is blue and young then they are not cold. All quiet people are smart.
Anne is cold.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Dave is not furry.[(triple3)] Gary is not green.[(triple4)] @1: Anne is smart.[(((triple1) -> rule6))] @2: Anne is cold.[(((((triple1) -> rule6)) -> rule4))] @3: Anne is furry.[(((((((triple1) -> rule6)) -> rule4) ((triple1) -> rule6)) -> rule3))] Anne is not blue.[(((triple1 ((((triple1) -> rule6)) -> rule4)) -> rule1))]