Gary is rough. Harry is rough. If Gary is kind and Gary is blue then Gary is not white. If something is green then it is blue. Rough things are kind. If something is smart then it is white. If something is kind and green then it is red. If something is blue then it is rough. If something is rough then it is green. If Harry is kind and Harry is not green then Harry is white.
Gary is red.
@0: Gary is rough.[(triple1)] Harry is rough.[(triple2)] @1: Gary is green.[(((triple1) -> rule7))] Gary is kind.[(((triple1) -> rule3))] Harry is green.[(((triple2) -> rule7))] Harry is kind.[(((triple2) -> rule3))] @2: Gary is blue.[(((((triple1) -> rule7)) -> rule2))] Gary is red.[(((((triple1) -> rule3) ((triple1) -> rule7)) -> rule5))] Harry is blue.[(((((triple2) -> rule7)) -> rule2))] Harry is red.[(((((triple2) -> rule3) ((triple2) -> rule7)) -> rule5))] @3: Gary is not white.[(((((triple1) -> rule3) ((((triple1) -> rule7)) -> rule2)) -> rule1))]