Charlie is nice. Charlie is smart. Charlie is white. If someone is blue and not white then they are smart. All smart people are furry. If someone is furry then they are not blue.
Charlie is not round.
@0: Charlie is nice.[(triple1)] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is furry.[(((triple2) -> rule2))] @2: Charlie is not blue.[(((((triple2) -> rule2)) -> rule3))]