Bob is smart. Dave is cold. Gary is kind. If someone is smart then they are big.
Dave is not big.
@0: Bob is smart.[(triple1)] Dave is cold.[(triple2)] Gary is kind.[(triple3)] @1: Bob is big.[(((triple1) -> rule1))]