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