Charlie is red. Dave is smart. Erin is white. If something is white then it is smart. Kind, white things are not blue. All nice things are blue. If Charlie is big and Charlie is smart then Charlie is blue. If something is kind and not white then it is nice. All white things are not kind.
Dave is smart.
@0: Charlie is red.[(triple1)] Dave is smart.[(triple2)] Erin is white.[(triple3)] @1: Erin is not kind.[(((triple3) -> rule6))] Erin is smart.[(((triple3) -> rule1))]