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