Anne is green. Erin is quiet. Erin is red. All red people are cold. Blue people are white. If Anne is white then Anne is red. All white people are red. If someone is rough then they are red. If someone is green then they are rough. All cold people are blue. Quiet people are cold.
Anne is quiet.
@0: Anne is green.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3 OR ((((((((triple2) -> rule8)) -> rule7)) -> rule2)) -> rule4))] @1: Anne is rough.[(((triple1) -> rule6))] Erin is cold.[(((triple2) -> rule8) OR ((triple3) -> rule1))] @2: Anne is red.[(((((triple1) -> rule6)) -> rule5))] Erin is blue.[(((((triple2) -> rule8)) -> rule7) OR ((((triple3) -> rule1)) -> rule7))] @3: Anne is cold.[(((((((triple1) -> rule6)) -> rule5)) -> rule1))] Erin is white.[(((((((triple2) -> rule8)) -> rule7)) -> rule2) OR ((((((triple3) -> rule1)) -> rule7)) -> rule2))] @4: Anne is blue.[(((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7))] @5: Anne is white.[(((((((((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule7)) -> rule2))]