Charlie is green. Dave is green. Erin is nice. Harry is nice. All cold people are young. If someone is cold and young then they are rough. White people are young. Nice people are cold. All young people are green. Cold people are red. If someone is white and rough then they are cold. Nice people are white.
Erin is not white.
@0: Charlie is green.[(triple1)] Dave is green.[(triple2)] Erin is nice.[(triple3)] Harry is nice.[(triple4)] @1: Erin is cold.[(((triple3) -> rule4))] Erin is white.[(((triple3) -> rule8))] Harry is cold.[(((triple4) -> rule4))] Harry is white.[(((triple4) -> rule8))] @2: Erin is red.[(((((triple3) -> rule4)) -> rule6))] Erin is young.[(((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule8)) -> rule3))] Harry is red.[(((((triple4) -> rule4)) -> rule6))] Harry is young.[(((((triple4) -> rule4)) -> rule1) OR ((((triple4) -> rule8)) -> rule3))] @3: Erin is green.[(((((((triple3) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3) -> rule8)) -> rule3)) -> rule5))] Erin is rough.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule8)) -> rule3)) -> rule2))] Harry is green.[(((((((triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule3)) -> rule5))] Harry is rough.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule1)) -> rule2) OR ((((triple4) -> rule4) ((((triple4) -> rule8)) -> rule3)) -> rule2))]