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