Anne is smart. Bob is big. Charlie is big. If Bob is big then Bob is kind. If something is big and kind then it is white.
Bob is not cold.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2)] Charlie is big.[(triple3)] @1: Bob is kind.[(((triple2) -> rule1))] @2: Bob is white.[(((triple2 ((triple2) -> rule1)) -> rule2))]