Charlie is white. Dave is red. Erin is smart. Fiona is blue. If someone is red then they are not smart. White people are not smart. If someone is kind and red then they are blue.
Charlie is white.
@0: Charlie is white.[(triple1)] Dave is red.[(triple2)] Erin is smart.[(triple3)] Fiona is blue.[(triple4)] @1: Charlie is not smart.[(((triple1) -> rule2))] Dave is not smart.[(((triple2) -> rule1))]