Charlie is smart. Gary is red. Cold, rough things are nice. If something is smart then it is big.
Charlie is not smart.
@0: Charlie is smart.[(triple1)] Gary is red.[(triple2)] @1: Charlie is big.[(((triple1) -> rule2))]