Anne is kind. Anne is quiet. Anne is young. Bob is blue. Bob is furry. Bob is young. Dave is cold. Dave is furry. Erin is blue. Erin is furry. Erin is quiet. Erin is young. All cold things are young. If Erin is blue and Erin is kind then Erin is cold. Cold, blue things are furry.
Anne is not furry.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is young.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Erin is blue.[(triple9)] Erin is furry.[(triple10)] Erin is quiet.[(triple11)] Erin is young.[(triple12)] @1: Dave is young.[(((triple7) -> rule1))]