Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is nice. Dave is red. Dave is white. Gary is kind. Gary is red. All nice, white things are blue. If something is kind then it is smart. Nice, smart things are white. White, smart things are kind. If something is blue then it is smart. If Dave is white then Dave is blue.
Dave is not kind.
@0: Bob is blue.[(triple1 OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple4 triple6) -> rule3)) -> rule1) OR ((triple4 ((triple4 ((triple3) -> rule2)) -> rule3)) -> rule1))] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple1) -> rule5)) -> rule4) OR ((((triple4 triple6) -> rule3) triple6) -> rule4) OR ((((triple4 triple6) -> rule3) ((triple1) -> rule5)) -> rule4) OR ((triple7 ((((triple4 triple7) -> rule1)) -> rule5)) -> rule4) OR ((((triple4 ((triple1) -> rule5)) -> rule3) triple6) -> rule4) OR ((((triple4 triple6) -> rule3) ((((triple4 triple7) -> rule1)) -> rule5)) -> rule4) OR ((((triple4 ((triple1) -> rule5)) -> rule3) ((triple1) -> rule5)) -> rule4) OR ((((triple4 ((triple1) -> rule5)) -> rule3) ((((triple4 triple7) -> rule1)) -> rule5)) -> rule4))] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6 OR ((triple1) -> rule5) OR ((triple3) -> rule2) OR ((((triple4 triple7) -> rule1)) -> rule5))] Bob is white.[(triple7 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple1) -> rule5)) -> rule3) OR ((triple4 ((triple3) -> rule2)) -> rule3))] Charlie is nice.[(triple8)] Dave is red.[(triple9)] Dave is white.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12)] @1: Dave is blue.[(((triple10) -> rule6))] Gary is smart.[(((triple11) -> rule2))] @2: Dave is smart.[(((((triple10) -> rule6)) -> rule5))] @3: Dave is kind.[(((triple10 ((((triple10) -> rule6)) -> rule5)) -> rule4))]