The tiger is big. The tiger is blue. The tiger is green. The tiger is kind. The tiger is round. All kind, round things are big.
The tiger is round.
@0: The tiger is big.[(triple1 OR ((triple4 triple5) -> rule1))] The tiger is blue.[(triple2)] The tiger is green.[(triple3)] The tiger is kind.[(triple4)] The tiger is round.[(triple5)]