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