Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is smart. Anne is white. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Dave is white. Harry is smart. Harry is white. If someone is nice and white then they are quiet. If someone is white and quiet then they are kind. If Anne is kind then Anne is nice. If someone is smart then they are nice. If someone is round and kind then they are smart. Round people are kind. Kind people are quiet. Nice, smart people are quiet.
Harry is not round.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule6) OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple3 triple6) -> rule8)) -> rule2) OR ((triple7 ((triple3 triple7) -> rule1)) -> rule2) OR ((triple7 ((((triple6) -> rule4) triple6) -> rule8)) -> rule2) OR ((triple7 ((((triple6) -> rule4) triple7) -> rule1)) -> rule2))] Anne is nice.[(triple3 OR ((triple2) -> rule3) OR ((triple6) -> rule4) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5 triple2) -> rule5)) -> rule4) OR ((((triple7 triple4) -> rule2)) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4) OR ((((triple5 ((triple7 triple4) -> rule2)) -> rule5)) -> rule4))] Anne is quiet.[(triple4 OR ((triple2) -> rule7) OR ((triple3 triple6) -> rule8) OR ((triple3 triple7) -> rule1) OR ((((triple5) -> rule6)) -> rule7) OR ((triple3 ((triple5 triple2) -> rule5)) -> rule8) OR ((((triple2) -> rule3) triple6) -> rule8) OR ((((triple2) -> rule3) triple7) -> rule1) OR ((((triple6) -> rule4) triple6) -> rule8) OR ((((triple6) -> rule4) triple7) -> rule1) OR ((((triple2) -> rule3) ((triple5 triple2) -> rule5)) -> rule8) OR ((((triple6) -> rule4) ((triple5 triple2) -> rule5)) -> rule8) OR ((triple3 ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5) -> rule6)) -> rule3) triple6) -> rule8) OR ((((((triple5) -> rule6)) -> rule3) triple7) -> rule1) OR ((((((triple5 triple2) -> rule5)) -> rule4) triple6) -> rule8) OR ((((((triple5 triple2) -> rule5)) -> rule4) triple7) -> rule1) OR ((((triple2) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule8) OR ((((triple6) -> rule4) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5) -> rule6)) -> rule3) ((triple5 triple2) -> rule5)) -> rule8) OR ((((((triple5 triple2) -> rule5)) -> rule4) ((triple5 triple2) -> rule5)) -> rule8) OR ((((((triple5) -> rule6)) -> rule3) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 triple2) -> rule5)) -> rule4) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4) triple6) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4) triple7) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4) ((triple5 triple2) -> rule5)) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule5)) -> rule4) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule8))] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple5) -> rule6)) -> rule5) OR ((triple5 ((triple7 triple4) -> rule2)) -> rule5) OR ((triple5 ((triple7 ((triple3 triple7) -> rule1)) -> rule2)) -> rule5))] Anne is white.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9 OR ((triple12) -> rule6) OR ((triple13 triple11) -> rule2) OR ((triple13 ((triple10 triple13) -> rule1)) -> rule2))] Dave is nice.[(triple10 OR ((((triple12 triple9) -> rule5)) -> rule4) OR ((((triple12 ((triple12) -> rule6)) -> rule5)) -> rule4) OR ((((triple12 ((triple13 triple11) -> rule2)) -> rule5)) -> rule4))] Dave is quiet.[(triple11 OR ((triple9) -> rule7) OR ((triple10 triple13) -> rule1) OR ((((triple12) -> rule6)) -> rule7) OR ((triple10 ((triple12 triple9) -> rule5)) -> rule8) OR ((triple10 ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule8) OR ((((((triple12 triple9) -> rule5)) -> rule4) triple13) -> rule1) OR ((((((triple12 triple9) -> rule5)) -> rule4) ((triple12 triple9) -> rule5)) -> rule8) OR ((((((triple12 triple9) -> rule5)) -> rule4) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule8) OR ((((((triple12 ((triple12) -> rule6)) -> rule5)) -> rule4) triple13) -> rule1) OR ((((((triple12 ((triple12) -> rule6)) -> rule5)) -> rule4) ((triple12 triple9) -> rule5)) -> rule8) OR ((((((triple12 ((triple12) -> rule6)) -> rule5)) -> rule4) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule8))] Dave is round.[(triple12)] Dave is white.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is smart.[(((triple12 triple9) -> rule5) OR ((triple12 ((triple12) -> rule6)) -> rule5) OR ((triple12 ((triple13 triple11) -> rule2)) -> rule5) OR ((triple12 ((triple13 ((triple10 triple13) -> rule1)) -> rule2)) -> rule5))] Harry is nice.[(((triple14) -> rule4))] @2: Harry is quiet.[(((((triple14) -> rule4) triple14) -> rule8) OR ((((triple14) -> rule4) triple15) -> rule1))] @3: Harry is kind.[(((triple15 ((((triple14) -> rule4) triple14) -> rule8)) -> rule2) OR ((triple15 ((((triple14) -> rule4) triple15) -> rule1)) -> rule2))]