Bob is not blue. Bob is green. Bob is not nice. Bob is rough. Bob is smart. Bob is white. Dave is blue. Dave is furry. Dave is nice. Erin is furry. Erin is green. Erin is not white. Gary is blue. Gary is not green. Gary is nice. Gary is not white. Rough people are smart. Rough, blue people are smart. If someone is furry then they are rough. Furry, smart people are blue. If someone is furry and not blue then they are nice. If someone is rough and not green then they are not nice.
Erin is smart.
@0: Bob is green.[(triple2)] Bob is not blue.[(triple1)] Bob is not nice.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule1))] Bob is white.[(triple6)] Dave is blue.[(triple7 OR ((triple8 ((((triple8) -> rule3)) -> rule1)) -> rule4))] Dave is furry.[(triple8)] Dave is nice.[(triple9)] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is not white.[(triple12)] Gary is blue.[(triple13)] Gary is nice.[(triple15)] Gary is not green.[(triple14)] Gary is not white.[(triple16)] @1: Dave is rough.[(((triple8) -> rule3))] Erin is rough.[(((triple10) -> rule3))] @2: Dave is smart.[(((((triple8) -> rule3)) -> rule1) OR ((((triple8) -> rule3) triple7) -> rule2))] Erin is smart.[(((((triple10) -> rule3)) -> rule1))] @3: Erin is blue.[(((triple10 ((((triple10) -> rule3)) -> rule1)) -> rule4))]