Bob is nice. Bob is rough. Erin is kind. If something is kind then it is blue.
Erin is not rough.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Erin is kind.[(triple3)] @1: Erin is blue.[(((triple3) -> rule1))]