Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is white. Charlie is big. Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Gary is blue. Gary is red. Gary is white. All red, round people are big.
Gary is not big.
@0: Anne is big.[(triple1 OR ((triple5 triple6) -> rule1))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Charlie is big.[(triple8 OR ((triple11 triple12) -> rule1))] Charlie is blue.[(triple9)] Charlie is nice.[(triple10)] Charlie is red.[(triple11)] Charlie is round.[(triple12)] Charlie is white.[(triple13)] Gary is blue.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16)]