Anne is furry. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is white. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. If something is white and round then it is kind. If something is white and nice then it is quiet.
Gary is nice.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2 OR ((triple7 triple5) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple7 triple3) -> rule2))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple14 triple12) -> rule1))] Gary is nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple14 triple10) -> rule2))] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)]