Bob is cold. All cold, white people are rough. White, cold people are kind. If Bob is cold and Bob is smart then Bob is rough. If someone is cold then they are white. All smart, rough people are cold. If Bob is rough and Bob is round then Bob is quiet.
Bob is not cold.
@0: Bob is cold.[(triple1)] @1: Bob is white.[(((triple1) -> rule4))] @2: Bob is kind.[(((((triple1) -> rule4) triple1) -> rule2))] Bob is rough.[(((triple1 ((triple1) -> rule4)) -> rule1))]