Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is smart. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Erin is furry. Erin is green. Erin is nice. Erin is white. All furry, quiet things are nice. If something is white and smart then it is nice.
Anne is not green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple1 triple5) -> rule1))] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple7 triple10) -> rule1))] Dave is quiet.[(triple10)] Dave is smart.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is nice.[(triple14)] Erin is white.[(triple15)]