Bob is kind. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is rough. Harry is white. Red, white people are rough. If someone is kind then they are white. If someone is cold then they are green. If Harry is green and Harry is red then Harry is cold. If someone is white then they are cold. If Harry is rough then Harry is white.
Harry is not green.
@0: Bob is kind.[(triple1)] Harry is cold.[(triple2 OR ((triple7) -> rule5) OR ((triple3 triple5) -> rule4) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] Harry is green.[(triple3 OR ((triple2) -> rule3) OR ((((triple7) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((((triple6) -> rule6)) -> rule5)) -> rule3))] Harry is kind.[(triple4)] Harry is red.[(triple5)] Harry is rough.[(triple6 OR ((triple5 triple7) -> rule1) OR ((triple5 ((triple4) -> rule2)) -> rule1))] Harry is white.[(triple7 OR ((triple4) -> rule2) OR ((triple6) -> rule6))] @1: Bob is white.[(((triple1) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule2)) -> rule5))] @3: Bob is green.[(((((((triple1) -> rule2)) -> rule5)) -> rule3))]