Charlie is nice. Charlie is rough. Charlie is smart. Nice, kind people are smart. If someone is nice then they are kind. If someone is rough and not white then they are not kind.
Charlie is not smart.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3 OR ((triple1 ((triple1) -> rule2)) -> rule1))] @1: Charlie is kind.[(((triple1) -> rule2))]