Charlie is furry. Charlie is kind. Dave is blue. Dave is green. Dave is kind. Dave is nice. Erin is nice. Erin is smart. Fiona is nice. Fiona is quiet. All kind things are nice.
Dave is not kind.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Dave is blue.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule1))] Erin is nice.[(triple7)] Erin is smart.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] @1: Charlie is nice.[(((triple2) -> rule1))]