Anne is green. Anne is kind. Charlie is nice. Charlie is rough. Gary is blue. Gary is green. Gary is rough. Harry is furry. Harry is nice. Harry is white. If Charlie is green and Charlie is rough then Charlie is kind. All white things are rough. If something is blue then it is green. If Charlie is kind then Charlie is rough. If Anne is rough then Anne is furry. Furry things are nice. All nice, rough things are green. If something is white then it is kind.
Gary is not kind.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is rough.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6 OR ((triple5) -> rule3))] Gary is rough.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9 OR ((triple8) -> rule6))] Harry is white.[(triple10)] @1: Charlie is green.[(((triple3 triple4) -> rule7))] Harry is kind.[(((triple10) -> rule8))] Harry is rough.[(((triple10) -> rule2))] @2: Charlie is kind.[(((((triple3 triple4) -> rule7) triple4) -> rule1))] Harry is green.[(((triple9 ((triple10) -> rule2)) -> rule7) OR ((((triple8) -> rule6) ((triple10) -> rule2)) -> rule7))]