Bob is rough. Bob is white. Charlie is rough. Gary is cold. Gary is white. Harry is not green. Harry is kind. Green, cold things are kind. White things are green. If something is green then it is cold.
Charlie is not green.
@0: Bob is rough.[(triple1)] Bob is white.[(triple2)] Charlie is rough.[(triple3)] Gary is cold.[(triple4 OR ((((triple5) -> rule2)) -> rule3))] Gary is white.[(triple5)] Harry is kind.[(triple7)] Harry is not green.[(triple6)] @1: Bob is green.[(((triple2) -> rule2))] Gary is green.[(((triple5) -> rule2))] @2: Bob is cold.[(((((triple2) -> rule2)) -> rule3))] Gary is kind.[(((((triple5) -> rule2) triple4) -> rule1) OR ((((triple5) -> rule2) ((((triple5) -> rule2)) -> rule3)) -> rule1))] @3: Bob is kind.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule1))]