Anne is rough. Bob is nice. Charlie is smart. If Charlie is smart and Charlie is not rough then Charlie is not red. If someone is kind then they are smart. Nice people are not smart. If Charlie is rough then Charlie is nice. If Bob is not kind then Bob is rough. If someone is rough then they are white. If Anne is blue then Anne is not white. If someone is kind then they are not blue.
Bob is nice.
@0: Anne is rough.[(triple1)] Bob is nice.[(triple2)] Charlie is smart.[(triple3)] @1: Anne is white.[(((triple1) -> rule6))] Bob is not smart.[(((triple2) -> rule3))]