The tiger is not big. The tiger is green. The tiger is kind. The tiger is not red. The tiger is rough. All rough things are not big. If something is red then it is green. If the tiger is red then the tiger is green.
The tiger visits the tiger.
@0: The tiger is green.[(triple2)] The tiger is kind.[(triple3)] The tiger is not big.[(triple1 OR ((triple5) -> rule1))] The tiger is not red.[(triple4)] The tiger is rough.[(triple5)]