Bob is cold. Dave is furry. Harry is big. Cold things are green.
Dave is not furry.
@0: Bob is cold.[(triple1)] Dave is furry.[(triple2)] Harry is big.[(triple3)] @1: Bob is green.[(((triple1) -> rule1))]