Bob is nice. Dave is big. Dave is green. Dave is nice. Dave is smart. Dave is white. Erin is big. Erin is green. Erin is nice. Erin is rough. Erin is smart. Erin is white. Red things are smart. All nice things are smart. All big, white things are smart. Smart, nice things are red. All white, red things are green. If something is rough and not big then it is green. If Dave is green and Dave is not rough then Dave is red. If Dave is smart and Dave is white then Dave is red.
Bob is white.
@0: Bob is nice.[(triple1)] Dave is big.[(triple2)] Dave is green.[(triple3 OR ((triple6 ((triple5 triple4) -> rule4)) -> rule5) OR ((triple6 ((triple5 triple6) -> rule8)) -> rule5) OR ((triple6 ((((triple4) -> rule2) triple4) -> rule4)) -> rule5) OR ((triple6 ((((triple4) -> rule2) triple6) -> rule8)) -> rule5) OR ((triple6 ((((triple2 triple6) -> rule3) triple4) -> rule4)) -> rule5) OR ((triple6 ((((triple2 triple6) -> rule3) triple6) -> rule8)) -> rule5))] Dave is nice.[(triple4)] Dave is smart.[(triple5 OR ((triple4) -> rule2) OR ((triple2 triple6) -> rule3))] Dave is white.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple8 OR ((triple12 ((triple11 triple9) -> rule4)) -> rule5) OR ((triple12 ((((triple9) -> rule2) triple9) -> rule4)) -> rule5) OR ((triple12 ((((triple7 triple12) -> rule3) triple9) -> rule4)) -> rule5))] Erin is nice.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11 OR ((triple9) -> rule2) OR ((triple7 triple12) -> rule3))] Erin is white.[(triple12)] @1: Bob is smart.[(((triple1) -> rule2))] Dave is red.[(((triple5 triple4) -> rule4) OR ((triple5 triple6) -> rule8) OR ((((triple4) -> rule2) triple4) -> rule4) OR ((((triple4) -> rule2) triple6) -> rule8) OR ((((triple2 triple6) -> rule3) triple4) -> rule4) OR ((((triple2 triple6) -> rule3) triple6) -> rule8))] Erin is red.[(((triple11 triple9) -> rule4) OR ((((triple9) -> rule2) triple9) -> rule4) OR ((((triple7 triple12) -> rule3) triple9) -> rule4))] @2: Bob is red.[(((((triple1) -> rule2) triple1) -> rule4))]