Anne is blue. Charlie is white. Dave is big. Dave is blue. Dave is smart. Erin is nice. Erin is smart. All red people are nice. All white people are red.
Charlie is not red.
@0: Anne is blue.[(triple1)] Charlie is white.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is smart.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)] @1: Charlie is red.[(((triple2) -> rule2))] @2: Charlie is nice.[(((((triple2) -> rule2)) -> rule1))]