Charlie is furry. Charlie is not green. Charlie is quiet. Charlie is smart. Charlie is white. Dave is not green. Dave is quiet. Dave is not white. Erin is furry. Erin is not quiet. If someone is furry then they are blue. If someone is smart and not furry then they are not kind.
Dave is kind.
@0: Charlie is furry.[(triple1)] Charlie is not green.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Dave is not green.[(triple6)] Dave is not white.[(triple8)] Dave is quiet.[(triple7)] Erin is furry.[(triple9)] Erin is not quiet.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule1))] Erin is blue.[(((triple9) -> rule1))]