Dave is blue. Dave is nice. Dave is quiet. Erin is green. Erin is red. Fiona is not blue. Fiona is furry. Fiona is green. Fiona is not nice. Fiona is red. If Fiona is not kind then Fiona is quiet. All quiet people are nice. If someone is kind and not furry then they are green. If someone is furry and kind then they are blue. If someone is red then they are not blue. If Dave is green and Dave is furry then Dave is quiet.
Dave is red.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple2 OR ((triple3) -> rule2))] Dave is quiet.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is not blue.[(triple6 OR ((triple10) -> rule5))] Fiona is not nice.[(triple9)] Fiona is red.[(triple10)] @1: Erin is not blue.[(((triple5) -> rule5))]