Dave is furry. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is red. Erin is round. Erin is smart. Gary is furry. Gary is nice. Gary is rough. Gary is smart. Gary is white. Red people are white. All white people are red. If someone is rough then they are red. All red people are rough. Red, furry people are round. Round, nice people are red. Round, white people are red. All red, smart people are white.
Erin is red.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3 OR ((triple4) -> rule3) OR ((triple7) -> rule2) OR ((triple5 triple2) -> rule6) OR ((triple5 triple7) -> rule7))] Dave is rough.[(triple4 OR ((triple3) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple5 triple2) -> rule6)) -> rule4) OR ((((triple5 triple7) -> rule7)) -> rule4))] Dave is round.[(triple5 OR ((triple3 triple1) -> rule5) OR ((((triple4) -> rule3) triple1) -> rule5) OR ((((triple7) -> rule2) triple1) -> rule5))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple3) -> rule1) OR ((triple3 triple6) -> rule8) OR ((((triple4) -> rule3)) -> rule1) OR ((((triple5 triple2) -> rule6)) -> rule1) OR ((((triple4) -> rule3) triple6) -> rule8) OR ((((triple5 triple2) -> rule6) triple6) -> rule8))] Erin is red.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Gary is furry.[(triple11)] Gary is nice.[(triple12)] Gary is rough.[(triple13 OR ((((triple15) -> rule2)) -> rule4))] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((((triple13) -> rule3)) -> rule1) OR ((((triple13) -> rule3) triple14) -> rule8))] @1: Erin is rough.[(((triple8) -> rule4))] Erin is white.[(((triple8) -> rule1) OR ((triple8 triple10) -> rule8))] Gary is red.[(((triple13) -> rule3) OR ((triple15) -> rule2))] @2: Gary is round.[(((((triple13) -> rule3) triple11) -> rule5) OR ((((triple15) -> rule2) triple11) -> rule5))]