Anne is red. Bob is quiet. Dave is cold. Erin is quiet. All cold people are smart. Green people are round. If someone is kind then they are cold. If Anne is quiet then Anne is red. All quiet, round people are cold. Quiet people are green.
Dave is not green.
@0: Anne is red.[(triple1)] Bob is quiet.[(triple2)] Dave is cold.[(triple3)] Erin is quiet.[(triple4)] @1: Bob is green.[(((triple2) -> rule6))] Dave is smart.[(((triple3) -> rule1))] Erin is green.[(((triple4) -> rule6))] @2: Bob is round.[(((((triple2) -> rule6)) -> rule2))] Erin is round.[(((((triple4) -> rule6)) -> rule2))] @3: Bob is cold.[(((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule5))] Erin is cold.[(((triple4 ((((triple4) -> rule6)) -> rule2)) -> rule5))] @4: Bob is smart.[(((((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule5)) -> rule1))] Erin is smart.[(((((triple4 ((((triple4) -> rule6)) -> rule2)) -> rule5)) -> rule1))]