The tiger is big. The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. If someone is cold and big then they are green. Cold, blue people are green.
The tiger does not like the tiger.
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2)] The tiger is cold.[(triple3)] The tiger is green.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple3 triple2) -> rule2))] The tiger is kind.[(triple5)]