Dave is nice. Erin is not blue. Fiona is red. If something is nice and smart then it is not red. If Dave is blue and Dave is smart then Dave is white. All green things are not nice. All red things are smart. All smart, nice things are rough. If something is red and not smart then it is rough. Rough things are not white. All blue, rough things are white.
Dave is nice.
@0: Dave is nice.[(triple1)] Erin is not blue.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is smart.[(((triple3) -> rule4))]