The tiger is blue. The tiger is cold. The tiger is green. The tiger is kind. The tiger is not nice. If someone is kind then they are blue.
The tiger does not eat the tiger.
@0: The tiger is blue.[(triple1 OR ((triple4) -> rule1))] The tiger is cold.[(triple2)] The tiger is green.[(triple3)] The tiger is kind.[(triple4)] The tiger is not nice.[(triple5)]