Bob is blue. Bob is green. Bob is nice. Dave is blue. Dave is green. Dave is nice. Dave is smart. Erin is green. Gary is kind. Gary is smart. If Bob is blue and Bob is white then Bob is smart. If Dave is nice then Dave is kind. All white people are blue. Kind, green people are white. All nice people are blue. If someone is young and blue then they are white. All white people are nice. If someone is nice then they are kind.
Dave is young.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule5) OR ((((((triple3) -> rule8) triple2) -> rule4)) -> rule3))] Bob is green.[(triple2)] Bob is nice.[(triple3)] Dave is blue.[(triple4 OR ((triple6) -> rule5) OR ((((((triple6) -> rule2) triple5) -> rule4)) -> rule3) OR ((((((triple6) -> rule8) triple5) -> rule4)) -> rule3))] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is smart.[(triple7)] Erin is green.[(triple8)] Gary is kind.[(triple9)] Gary is smart.[(triple10)] @1: Bob is kind.[(((triple3) -> rule8))] Dave is kind.[(((triple6) -> rule2) OR ((triple6) -> rule8))] @2: Bob is white.[(((((triple3) -> rule8) triple2) -> rule4))] Dave is white.[(((((triple6) -> rule2) triple5) -> rule4) OR ((((triple6) -> rule8) triple5) -> rule4))] @3: Bob is smart.[(((triple1 ((((triple3) -> rule8) triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((((triple3) -> rule8) triple2) -> rule4)) -> rule1) OR ((((((((triple3) -> rule8) triple2) -> rule4)) -> rule3) ((((triple3) -> rule8) triple2) -> rule4)) -> rule1))]