Anne is blue. Anne is nice. Anne is smart. Bob is blue. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is white. Erin is blue. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Erin is white. All blue people are white. All rough, nice people are smart.
Erin is not white.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Bob is green.[(triple5)] Bob is nice.[(triple6)] Bob is rough.[(triple7)] Bob is smart.[(triple8 OR ((triple7 triple6) -> rule2))] Bob is white.[(triple9 OR ((triple4) -> rule1))] Erin is blue.[(triple10)] Erin is green.[(triple11)] Erin is nice.[(triple12)] Erin is quiet.[(triple13)] Erin is rough.[(triple14)] Erin is smart.[(triple15 OR ((triple14 triple12) -> rule2))] Erin is white.[(triple16 OR ((triple10) -> rule1))] @1: Anne is white.[(((triple1) -> rule1))]