Bob is cold. Bob is rough. Gary is green. If someone is cold and smart then they are rough. If Gary is green then Gary is smart. All big people are smart. Blue people are rough. Smart, white people are blue. All blue people are cold.
Bob is not smart.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Gary is green.[(triple3)] @1: Gary is smart.[(((triple3) -> rule2))]