The tiger is blue. The tiger is cold. The tiger is kind. The tiger is nice. The tiger is round. Cold things are round. If the tiger is blue and the tiger is nice then the tiger is kind.
The tiger is blue.
@0: The tiger is blue.[(triple1)] The tiger is cold.[(triple2)] The tiger is kind.[(triple3 OR ((triple1 triple4) -> rule2))] The tiger is nice.[(triple4)] The tiger is round.[(triple5 OR ((triple2) -> rule1))]