Anne is blue. Anne is red. Anne is rough. Anne is young. Bob is kind. Bob is round. Bob is white. Gary is kind. Gary is rough. Gary is young. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is white. All white things are rough. All young, kind things are white. If Bob is kind then Bob is round.
Gary is not young.
@0: Anne is blue.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Bob is kind.[(triple5)] Bob is round.[(triple6 OR ((triple5) -> rule3))] Bob is white.[(triple7)] Gary is kind.[(triple8)] Gary is rough.[(triple9 OR ((((triple10 triple8) -> rule2)) -> rule1))] Gary is young.[(triple10)] Harry is kind.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple15) -> rule1))] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Bob is rough.[(((triple7) -> rule1))] Gary is white.[(((triple10 triple8) -> rule2))]