Anne is furry. Anne is kind. Anne is red. Anne is white. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. Dave is furry. Dave is rough. Dave is round. Dave is white. Erin is smart. All kind, furry people are round. If Bob is not red then Bob is not kind. If someone is kind and not furry then they are rough. If someone is smart and not kind then they are not white. If someone is rough and furry then they are smart. If someone is rough and not kind then they are not smart.
Dave is not furry.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is red.[(triple7)] Bob is rough.[(triple8)] Bob is round.[(triple9 OR ((triple6 triple5) -> rule1))] Bob is smart.[(triple10 OR ((triple8 triple5) -> rule5))] Bob is white.[(triple11)] Dave is furry.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14)] Dave is white.[(triple15)] Erin is smart.[(triple16)] @1: Anne is round.[(((triple2 triple1) -> rule1))] Dave is smart.[(((triple13 triple12) -> rule5))]