Charlie is blue. Erin is cold. Harry is blue. If someone is round and blue then they are rough. If someone is cold then they are nice.
Harry is blue.
@0: Charlie is blue.[(triple1)] Erin is cold.[(triple2)] Harry is blue.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))]