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 not kind.
@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)]