Charlie is nice. Fiona is blue. Harry is smart. All blue things are smart. If something is kind then it is blue.
Charlie is nice.
@0: Charlie is nice.[(triple1)] Fiona is blue.[(triple2)] Harry is smart.[(triple3)] @1: Fiona is smart.[(((triple2) -> rule1))]