Anne is furry. Anne is not kind. Anne is not nice. Anne is red. Anne is round. Anne is young. Dave is cold. Dave is furry. Dave is kind. Dave is round. Dave is young. Erin is cold. Erin is furry. Erin is not kind. Erin is red. Erin is young. All nice, kind things are furry. All round, cold things are red.
Erin is not cold.
@0: Anne is furry.[(triple1)] Anne is not kind.[(triple2)] Anne is not nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is round.[(triple10)] Dave is young.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is not kind.[(triple14)] Erin is red.[(triple15)] Erin is young.[(triple16)] @1: Dave is red.[(((triple10 triple7) -> rule2))]