Anne is kind. Anne is round. Anne is young. Charlie is blue. Charlie is kind. Charlie is rough. Gary is kind. Gary is white. Gary is young. Harry is blue. Young, blue things are rough. Rough things are white. All kind, round things are blue.
Anne is not blue.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Gary is kind.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] @1: Anne is blue.[(((triple1 triple2) -> rule3))] Charlie is white.[(((triple6) -> rule2))] @2: Anne is rough.[(((triple3 ((triple1 triple2) -> rule3)) -> rule1))] @3: Anne is white.[(((((triple3 ((triple1 triple2) -> rule3)) -> rule1)) -> rule2))]