Anne is green. Bob is green. Gary is green. Harry is rough. If something is young then it is green. Young, red things are green. Kind things are white. If Gary is cold and Gary is young then Gary is green. All green things are kind. If Harry is green and Harry is young then Harry is red.
Bob is kind.
@0: Anne is green.[(triple1)] Bob is green.[(triple2)] Gary is green.[(triple3)] Harry is rough.[(triple4)] @1: Anne is kind.[(((triple1) -> rule5))] Bob is kind.[(((triple2) -> rule5))] Gary is kind.[(((triple3) -> rule5))] @2: Anne is white.[(((((triple1) -> rule5)) -> rule3))] Bob is white.[(((((triple2) -> rule5)) -> rule3))] Gary is white.[(((((triple3) -> rule5)) -> rule3))]