Anne is nice. Anne is young. Charlie is big. Charlie is furry. Charlie is nice. Charlie is round. Charlie is young. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is white. Gary is nice. Gary is white. Gary is young. If Gary is blue then Gary is big. If someone is white and round then they are young. If someone is blue then they are round.
Gary is not big.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is nice.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is nice.[(triple11)] Erin is white.[(triple12)] Gary is nice.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Erin is round.[(((triple9) -> rule3))] @2: Erin is young.[(((triple12 ((triple9) -> rule3)) -> rule2))]