The tiger is blue. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is red. Cold, blue people are kind. If the tiger is nice then the tiger is blue. Nice people are blue.
The tiger is red.
@0: The tiger is blue.[(triple1 OR ((triple4) -> rule2) OR ((triple4) -> rule3))] The tiger is cold.[(triple2)] The tiger is kind.[(triple3 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple4) -> rule2)) -> rule1) OR ((triple2 ((triple4) -> rule3)) -> rule1))] The tiger is nice.[(triple4)] The tiger is red.[(triple5)]