Anne is furry. Anne is rough. Bob is cold. Bob is not smart. Dave is cold. Dave is smart. Erin is cold. Cold, white things are furry. If Erin is rough then Erin is furry. Smart, rough things are not cold. Nice things are rough. Rough things are blue. All white things are smart.
Anne is furry.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Bob is cold.[(triple3)] Bob is not smart.[(triple4)] Dave is cold.[(triple5)] Dave is smart.[(triple6)] Erin is cold.[(triple7)] @1: Anne is blue.[(((triple2) -> rule5))]