Charlie is kind. Erin is not smart. Rough, nice things are smart. All kind things are not nice. If something is kind and not rough then it is not blue. If something is nice then it is blue. If something is nice and not rough then it is not kind. All blue, smart things are not red. If something is rough and not nice then it is red. Smart things are not red.
Erin is not smart.
@0: Charlie is kind.[(triple1)] Erin is not smart.[(triple2)] @1: Charlie is not nice.[(((triple1) -> rule2))]