The tiger is blue. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. Round things are nice.
The tiger is not round.
@0: The tiger is blue.[(triple1)] The tiger is kind.[(triple2)] The tiger is nice.[(triple3 OR ((triple5) -> rule1))] The tiger is red.[(triple4)] The tiger is round.[(triple5)]