Bob is red. If something is blue and big then it is white. Red things are big. If something is big then it is blue.
Bob is big.
@0: Bob is red.[(triple1)] @1: Bob is big.[(((triple1) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is white.[(((((((triple1) -> rule2)) -> rule3) ((triple1) -> rule2)) -> rule1))]