Dave is blue. Dave is nice. Dave is not quiet. Dave is smart. Erin is kind. Erin is nice. Erin is white. Fiona is kind. Fiona is quiet. Gary is kind. If someone is blue then they are red. If someone is quiet then they are blue.
Dave is red.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2)] Dave is not quiet.[(triple3)] Dave is smart.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6)] Erin is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Gary is kind.[(triple10)] @1: Dave is red.[(((triple1) -> rule1))] Fiona is blue.[(((triple9) -> rule2))] @2: Fiona is red.[(((((triple9) -> rule2)) -> rule1))]