Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is smart. Dave is kind. Dave is quiet. Dave is round. Harry is green. Harry is quiet. Harry is round. Harry is smart. All quiet, kind things are nice. Smart, round things are kind. If something is blue and quiet then it is round. If something is nice then it is green. Nice things are kind. All smart things are blue.
Dave is not green.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule4) OR ((((triple5 triple3) -> rule1)) -> rule4))] Bob is kind.[(triple3 OR ((triple4) -> rule5))] Bob is nice.[(triple4 OR ((triple5 triple3) -> rule1))] Bob is quiet.[(triple5)] Charlie is blue.[(triple6 OR ((triple9) -> rule6))] Charlie is kind.[(triple7 OR ((triple9 ((triple6 triple8) -> rule3)) -> rule2) OR ((triple9 ((((triple9) -> rule6) triple8) -> rule3)) -> rule2))] Charlie is quiet.[(triple8)] Charlie is smart.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Harry is green.[(triple13 OR ((((triple14 ((triple16 triple15) -> rule2)) -> rule1)) -> rule4) OR ((((triple14 ((triple16 ((((triple16) -> rule6) triple14) -> rule3)) -> rule2)) -> rule1)) -> rule4))] Harry is quiet.[(triple14)] Harry is round.[(triple15 OR ((((triple16) -> rule6) triple14) -> rule3))] Harry is smart.[(triple16)] @1: Bob is round.[(((triple1 triple5) -> rule3))] Charlie is nice.[(((triple8 triple7) -> rule1) OR ((triple8 ((triple9 ((triple6 triple8) -> rule3)) -> rule2)) -> rule1) OR ((triple8 ((triple9 ((((triple9) -> rule6) triple8) -> rule3)) -> rule2)) -> rule1))] Charlie is round.[(((triple6 triple8) -> rule3) OR ((((triple9) -> rule6) triple8) -> rule3))] Dave is nice.[(((triple11 triple10) -> rule1))] Harry is blue.[(((triple16) -> rule6))] Harry is kind.[(((triple16 triple15) -> rule2) OR ((triple16 ((((triple16) -> rule6) triple14) -> rule3)) -> rule2))] @2: Charlie is green.[(((((triple8 triple7) -> rule1)) -> rule4) OR ((((triple8 ((triple9 ((triple6 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule4) OR ((((triple8 ((triple9 ((((triple9) -> rule6) triple8) -> rule3)) -> rule2)) -> rule1)) -> rule4))] Dave is green.[(((((triple11 triple10) -> rule1)) -> rule4))] Harry is nice.[(((triple14 ((triple16 triple15) -> rule2)) -> rule1) OR ((triple14 ((triple16 ((((triple16) -> rule6) triple14) -> rule3)) -> rule2)) -> rule1))]