Bob is blue. Bob is kind. Bob is smart. If Bob is blue then Bob is big. If Bob is round and Bob is big then Bob is smart.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))]