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