Bob is smart. Erin is kind. All smart things are young. If something is smart and blue then it is nice.
Bob is not kind.
@0: Bob is smart.[(triple1)] Erin is kind.[(triple2)] @1: Bob is young.[(((triple1) -> rule1))]