Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is white. Anne is not young. Bob is furry. Bob is nice. Bob is not quiet. Fiona is nice. Fiona is red. Gary is furry. Gary is not quiet. Gary is young. All white people are nice. White, quiet people are red.
Gary is kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule1))] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is red.[(triple5 OR ((triple6 triple4) -> rule2))] Anne is white.[(triple6)] Bob is furry.[(triple8)] Bob is nice.[(triple9)] Bob is not quiet.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] Gary is furry.[(triple13)] Gary is not quiet.[(triple14)] Gary is young.[(triple15)]