Dave is blue. Dave is kind. Dave is red. Dave is smart. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is smart. Gary is blue. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is smart. If something is kind then it is furry. All smart, red things are kind. If Dave is green and Dave is kind then Dave is red. All red things are furry. Smart things are red. All kind, blue things are red.
Dave is furry.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple4) -> rule5)) -> rule2))] Dave is red.[(triple3 OR ((triple4) -> rule5) OR ((triple2 triple1) -> rule6))] Dave is smart.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6 OR ((triple8) -> rule1) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple8 triple5) -> rule6)) -> rule4) OR ((((triple10 ((triple10) -> rule5)) -> rule2)) -> rule1))] Erin is green.[(triple7)] Erin is kind.[(triple8 OR ((triple10 ((triple10) -> rule5)) -> rule2))] Erin is nice.[(triple9)] Erin is smart.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12 OR ((triple15) -> rule4) OR ((((triple16) -> rule5)) -> rule4) OR ((((triple16 triple15) -> rule2)) -> rule1) OR ((((triple16 ((triple16) -> rule5)) -> rule2)) -> rule1))] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15 OR ((triple16) -> rule5))] Gary is smart.[(triple16)] @1: Dave is furry.[(((triple2) -> rule1) OR ((triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule4) OR ((((triple2 triple1) -> rule6)) -> rule4) OR ((((triple4 triple3) -> rule2)) -> rule1) OR ((((triple4 ((triple4) -> rule5)) -> rule2)) -> rule1))] Erin is red.[(((triple10) -> rule5) OR ((triple8 triple5) -> rule6))] Gary is kind.[(((triple16 triple15) -> rule2) OR ((triple16 ((triple16) -> rule5)) -> rule2))]