Charlie is cold. Dave is nice. Harry is red. Cold things are nice. If Dave is cold and Dave is not nice then Dave is furry.
Harry is red.
@0: Charlie is cold.[(triple1)] Dave is nice.[(triple2)] Harry is red.[(triple3)] @1: Charlie is nice.[(((triple1) -> rule1))]