Anne is big. Anne is cold. Anne is white. Dave is big. Dave is cold. Dave is green. Dave is round. Dave is white. Gary is big. Gary is white. If something is cold and furry then it is green. If something is big then it is smart.
Gary is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Gary is big.[(triple9)] Gary is white.[(triple10)] @1: Anne is smart.[(((triple1) -> rule2))] Dave is smart.[(((triple4) -> rule2))] Gary is smart.[(((triple9) -> rule2))]