Bob is blue. Charlie is kind. Dave is young. All blue things are young.
Bob is big.
@0: Bob is blue.[(triple1)] Charlie is kind.[(triple2)] Dave is young.[(triple3)] @1: Bob is young.[(((triple1) -> rule1))]