Bob is cold. Bob is nice. Bob is red. If something is kind and not cold then it is not nice. All red things are blue. If Bob is big and Bob is white then Bob is red. Red, nice things are big. All kind, cold things are big. If Bob is blue then Bob is white.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] @1: Bob is big.[(((triple3 triple2) -> rule4))] Bob is blue.[(((triple3) -> rule2))] @2: Bob is white.[(((((triple3) -> rule2)) -> rule6))]