The tiger is big. The tiger is blue. The tiger is nice. All blue, red things are cold. If something is big then it is cold. Red, cold things are not big. If the tiger is nice and the tiger is blue then the tiger is big. Big, red things are not blue. If something is cold and not nice then it is blue.
The tiger is not blue.
@0: The tiger is big.[(triple1 OR ((triple3 triple2) -> rule4))] The tiger is blue.[(triple2)] The tiger is nice.[(triple3)] @1: The tiger is cold.[(((triple1) -> rule2) OR ((((triple3 triple2) -> rule4)) -> rule2))]