Bob is blue. Erin is nice. Fiona is blue. Blue people are nice. If Bob is not nice then Bob is quiet.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Erin is nice.[(triple2)] Fiona is blue.[(triple3)] @1: Bob is nice.[(((triple1) -> rule1))] Fiona is nice.[(((triple3) -> rule1))]