Bob is big. Dave is young. Young people are smart. If Dave is green then Dave is round.
Dave is not smart.
@0: Bob is big.[(triple1)] Dave is young.[(triple2)] @1: Dave is smart.[(((triple2) -> rule1))]