Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is smart. All kind people are nice. All blue, nice people are round. All green, quiet people are kind.
Dave is not quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2 triple5) -> rule3))] Anne is nice.[(triple4 OR ((triple3) -> rule1) OR ((((triple2 triple5) -> rule3)) -> rule1))] Anne is quiet.[(triple5)] Anne is round.[(triple6 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple3) -> rule1)) -> rule2) OR ((triple1 ((((triple2 triple5) -> rule3)) -> rule1)) -> rule2))] Anne is smart.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple9 triple12) -> rule3))] Dave is nice.[(triple11 OR ((triple10) -> rule1) OR ((((triple9 triple12) -> rule3)) -> rule1))] Dave is quiet.[(triple12)] Dave is round.[(triple13 OR ((triple8 triple11) -> rule2) OR ((triple8 ((triple10) -> rule1)) -> rule2) OR ((triple8 ((((triple9 triple12) -> rule3)) -> rule1)) -> rule2))] Dave is smart.[(triple14)]