Anne is kind. Anne is round. Anne is smart. Anne is young. Charlie is kind. Charlie is round. Charlie is white. Gary is blue. Gary is kind. Gary is red. Gary is round. Gary is young. White people are kind. Kind people are young.
Charlie is red.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple1) -> rule2))] Charlie is kind.[(triple5 OR ((triple7) -> rule1))] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12 OR ((triple9) -> rule2))] @1: Charlie is young.[(((triple5) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]