Anne is blue. Anne is round. Anne is smart. Anne is young. Charlie is not round. Erin is nice. Erin is white. Gary is big. Gary is blue. Gary is not smart. Gary is white. Gary is young. If something is young and smart then it is round. All white things are big. All young things are big.
Gary is young.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2 OR ((triple4 triple3) -> rule1))] Anne is smart.[(triple3)] Anne is young.[(triple4)] Charlie is not round.[(triple5)] Erin is nice.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8 OR ((triple11) -> rule2) OR ((triple12) -> rule3))] Gary is blue.[(triple9)] Gary is not smart.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Anne is big.[(((triple4) -> rule3))] Erin is big.[(((triple7) -> rule2))]