Anne is furry. Anne is green. Anne is kind. Anne is not quiet. Anne is not round. Anne is smart. Anne is young. Bob is not furry. Bob is green. Bob is quiet. Bob is round. Bob is smart. Dave is furry. Dave is quiet. Dave is young. If Anne is not young then Anne is green. All young people are smart. If Dave is young and Dave is not furry then Dave is round. If someone is round and not green then they are not quiet. All smart, quiet people are kind. If Bob is kind then Bob is round.
Dave is not quiet.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not quiet.[(triple4)] Anne is not round.[(triple5)] Anne is smart.[(triple6 OR ((triple7) -> rule2))] Anne is young.[(triple7)] Bob is green.[(triple9)] Bob is not furry.[(triple8)] Bob is quiet.[(triple10)] Bob is round.[(triple11 OR ((((triple12 triple10) -> rule5)) -> rule6))] Bob is smart.[(triple12)] Dave is furry.[(triple13)] Dave is quiet.[(triple14)] Dave is young.[(triple15)] @1: Bob is kind.[(((triple12 triple10) -> rule5))] Dave is smart.[(((triple15) -> rule2))] @2: Dave is kind.[(((((triple15) -> rule2) triple14) -> rule5))]