Bob is smart. Gary is rough. All smart people are not cold. If someone is rough then they are cold. If someone is rough and white then they are not smart. If Bob is cold then Bob is rough. Cold people are white. If Bob is furry then Bob is cold.
Gary is smart.
@0: Bob is smart.[(triple1)] Gary is rough.[(triple2)] @1: Bob is not cold.[(((triple1) -> rule1))] Gary is cold.[(((triple2) -> rule2))] @2: Gary is white.[(((((triple2) -> rule2)) -> rule5))] @3: Gary is not smart.[(((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule3))]