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