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