Bob is nice. All round people are blue. If someone is smart then they are cold. Round people are cold. If someone is nice then they are smart. Round, big people are not smart. If Bob is big then Bob is cold.
Bob is not blue.
@0: Bob is nice.[(triple1)] @1: Bob is smart.[(((triple1) -> rule4))] @2: Bob is cold.[(((((triple1) -> rule4)) -> rule2))]