Anne is red. Anne is round. Anne is white. Bob is cold. Bob is not furry. Bob is not white. Dave is red. Dave is white. Erin is cold. Erin is furry. Erin is not round. Erin is white. Round things are kind. All furry things are cold.
Bob is not white.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Bob is cold.[(triple4)] Bob is not furry.[(triple5)] Bob is not white.[(triple6)] Dave is red.[(triple7)] Dave is white.[(triple8)] Erin is cold.[(triple9 OR ((triple10) -> rule2))] Erin is furry.[(triple10)] Erin is not round.[(triple11)] Erin is white.[(triple12)] @1: Anne is kind.[(((triple2) -> rule1))]