Bob is smart. Charlie is white. All big, young people are rough. All white people are big. Young people are rough. Big, rough people are cold. All rough, blue people are cold. All young people are rough. If Bob is white then Bob is cold. All white people are rough.
Bob is not smart.
@0: Bob is smart.[(triple1)] Charlie is white.[(triple2)] @1: Charlie is big.[(((triple2) -> rule2))] Charlie is rough.[(((triple2) -> rule8))] @2: Charlie is cold.[(((((triple2) -> rule2) ((triple2) -> rule8)) -> rule4))]