The tiger is big. The tiger is blue. The tiger is nice. The tiger is red. The tiger is round. Nice, round people are big. All big, red people are nice.
The tiger is not nice.
@0: The tiger is big.[(triple1 OR ((triple3 triple5) -> rule1))] The tiger is blue.[(triple2)] The tiger is nice.[(triple3 OR ((triple1 triple4) -> rule2))] The tiger is red.[(triple4)] The tiger is round.[(triple5)]