Anne is furry. Anne is quiet. Anne is round. Charlie is big. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is white. Charlie is young. Gary is big. Gary is furry. Gary is nice. Gary is quiet. Gary is round. Gary is white. Gary is young. If Gary is nice then Gary is white. If something is quiet and furry then it is young. Quiet, white things are round.
Gary is not quiet.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9 OR ((triple7 triple5) -> rule2))] Gary is big.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14 OR ((triple13 triple15) -> rule3) OR ((triple13 ((triple12) -> rule1)) -> rule3))] Gary is white.[(triple15 OR ((triple12) -> rule1))] Gary is young.[(triple16 OR ((triple13 triple11) -> rule2))] @1: Anne is young.[(((triple2 triple1) -> rule2))] Charlie is round.[(((triple7 triple8) -> rule3))]