Anne is not furry. Anne is quiet. Anne is red. Anne is young. Charlie is not big. Charlie is furry. Charlie is not kind. Dave is furry. Erin is kind. Erin is white. If Charlie is furry and Charlie is big then Charlie is not white. If something is kind then it is quiet.
Anne is red.
@0: Anne is not furry.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4)] Charlie is furry.[(triple6)] Charlie is not big.[(triple5)] Charlie is not kind.[(triple7)] Dave is furry.[(triple8)] Erin is kind.[(triple9)] Erin is white.[(triple10)] @1: Erin is quiet.[(((triple9) -> rule2))]