Anne is blue. Anne is not nice. Charlie is blue. Charlie is nice. Charlie is rough. Charlie is smart. Dave is not rough. Dave is white. Erin is blue. Erin is rough. All young, rough people are not blue. Nice, blue people are not young. All kind people are nice. Young, blue people are white. If someone is smart and not nice then they are white. All smart people are white.
Erin is kind.
@0: Anne is blue.[(triple1)] Anne is not nice.[(triple2)] Charlie is blue.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Dave is not rough.[(triple7)] Dave is white.[(triple8)] Erin is blue.[(triple9)] Erin is rough.[(triple10)] @1: Charlie is not young.[(((triple4 triple3) -> rule2))] Charlie is white.[(((triple6) -> rule6))]