Anne is not furry. Anne is green. Anne is nice. Anne is not quiet. Anne is red. Anne is round. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Erin is not green. Gary is furry. Gary is nice. Gary is red. Gary is round. All green, quiet things are not nice. All round, quiet things are nice. Furry, kind things are nice.
Anne is not nice.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is not quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6)] Charlie is nice.[(triple7 OR ((triple10 triple8) -> rule2))] Charlie is quiet.[(triple8)] Charlie is red.[(triple9)] Charlie is round.[(triple10)] Erin is not green.[(triple11)] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)]