Anne is big. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Charlie is quiet. Charlie is red. Charlie is round. Gary is big. Gary is rough. If Charlie is red then Charlie is quiet. Quiet, rough people are round.
Gary is not round.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple3 triple5) -> rule2))] Anne is white.[(triple7)] Charlie is quiet.[(triple8 OR ((triple9) -> rule1))] Charlie is red.[(triple9)] Charlie is round.[(triple10)] Gary is big.[(triple11)] Gary is rough.[(triple12)]