Anne is cold. Bob is green. Dave is white. Gary is green. If someone is quiet then they are white. All red, rough people are white. White, cold people are quiet. Green people are red. Cold people are green. Cold, green people are rough. If someone is cold and white then they are red. If someone is green then they are white.
Anne is not quiet.
@0: Anne is cold.[(triple1)] Bob is green.[(triple2)] Dave is white.[(triple3)] Gary is green.[(triple4)] @1: Anne is green.[(((triple1) -> rule5))] Bob is red.[(((triple2) -> rule4))] Bob is white.[(((triple2) -> rule8))] Gary is red.[(((triple4) -> rule4))] Gary is white.[(((triple4) -> rule8))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule4) OR ((triple1 ((((triple1) -> rule5)) -> rule8)) -> rule7))] Anne is rough.[(((triple1 ((triple1) -> rule5)) -> rule6))] Anne is white.[(((((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule2))] @3: Anne is quiet.[(((((((triple1) -> rule5)) -> rule8) triple1) -> rule3) OR ((((((((triple1) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule2) triple1) -> rule3))]