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