The tiger is big. The tiger is blue. The tiger is cold. All kind people are cold. Blue people are big. If the tiger is cold and the tiger is blue then the tiger is kind. If someone is kind and rough then they are cold. Kind people are cold. All kind people are blue. All cold, rough people are kind. Blue, kind people are big.
The tiger is not blue.
@0: The tiger is big.[(triple1 OR ((triple2) -> rule2) OR ((triple2 ((triple3 triple2) -> rule3)) -> rule8))] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] @1: The tiger is kind.[(((triple3 triple2) -> rule3))]