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