Dave is smart. Erin is not smart. Harry is red. All smart people are big.
Harry is big.
@0: Dave is smart.[(triple1)] Erin is not smart.[(triple2)] Harry is red.[(triple3)] @1: Dave is big.[(((triple1) -> rule1))]