The tiger is big. The tiger is blue. The tiger is green. The tiger is not red. The tiger is not rough. All green, blue things are big.
The tiger needs the tiger.
@0: The tiger is big.[(triple1 OR ((triple3 triple2) -> rule1))] The tiger is blue.[(triple2)] The tiger is green.[(triple3)] The tiger is not red.[(triple4)] The tiger is not rough.[(triple5)]