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.
Erin is not rough.
@0: Charlie is blue.[(triple1)] Erin is cold.[(triple2)] Harry is blue.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))]