Anne is blue. Anne is rough. Bob is cold. Bob is round. Dave is cold. Dave is furry. Gary is furry. If something is cold then it is nice.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Bob is cold.[(triple3)] Bob is round.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Gary is furry.[(triple7)] @1: Bob is nice.[(((triple3) -> rule1))] Dave is nice.[(((triple5) -> rule1))]