Charlie is not red. Charlie is smart. Dave is not rough. Dave is smart. Erin is white. Fiona is rough. Fiona is white. Rough people are red. If someone is furry then they are not quiet. If someone is white and not furry then they are not rough.
Dave is furry.
@0: Charlie is not red.[(triple1)] Charlie is smart.[(triple2)] Dave is not rough.[(triple3)] Dave is smart.[(triple4)] Erin is white.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is red.[(((triple6) -> rule1))]