Charlie is cold. Charlie is not green. Charlie is smart. All cold, round people are not rough. If someone is smart and not green then they are round.
Charlie is not white.
@0: Charlie is cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is round.[(((triple3 triple2) -> rule2))] @2: Charlie is not rough.[(((triple1 ((triple3 triple2) -> rule2)) -> rule1))]