Bob is smart. Erin is cold. Harry is white. All white things are not cold. If Bob is not white then Bob is kind. If Harry is not cold then Harry is big. All big things are round. If something is round and smart then it is big. If something is kind and not round then it is red.
Erin is not white.
@0: Bob is smart.[(triple1)] Erin is cold.[(triple2)] Harry is white.[(triple3)] @1: Harry is not cold.[(((triple3) -> rule1))] @2: Harry is big.[(((((triple3) -> rule1)) -> rule3))] @3: Harry is round.[(((((((triple3) -> rule1)) -> rule3)) -> rule4))]