Anne is cold. Anne is white. Bob is big. Bob is not green. Bob is not white. Charlie is green. Erin is rough. All nice people are cold. If someone is rough then they are white. All cold people are green. White, big people are green. All nice people are rough. All white people are nice. If Anne is big then Anne is rough. All cold, green people are blue.
Erin is white.
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule6)) -> rule1))] Anne is white.[(triple2)] Bob is big.[(triple3)] Bob is not green.[(triple4)] Bob is not white.[(triple5)] Charlie is green.[(triple6)] Erin is rough.[(triple7)] @1: Anne is green.[(((triple1) -> rule3) OR ((((((triple2) -> rule6)) -> rule1)) -> rule3))] Anne is nice.[(((triple2) -> rule6))] Erin is white.[(((triple7) -> rule2))] @2: Anne is blue.[(((triple1 ((triple1) -> rule3)) -> rule8) OR ((((((triple2) -> rule6)) -> rule1) ((triple1) -> rule3)) -> rule8) OR ((triple1 ((((((triple2) -> rule6)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple2) -> rule6)) -> rule1) ((((((triple2) -> rule6)) -> rule1)) -> rule3)) -> rule8))] Anne is rough.[(((((triple2) -> rule6)) -> rule5))] Erin is nice.[(((((triple7) -> rule2)) -> rule6))] @3: Erin is cold.[(((((((triple7) -> rule2)) -> rule6)) -> rule1))] @4: Erin is green.[(((((((((triple7) -> rule2)) -> rule6)) -> rule1)) -> rule3))] @5: Erin is blue.[(((((((((triple7) -> rule2)) -> rule6)) -> rule1) ((((((((triple7) -> rule2)) -> rule6)) -> rule1)) -> rule3)) -> rule8))]