The tiger is not big. The tiger is blue. The tiger is green. The tiger is nice. The tiger is not rough. If someone is blue and not rough then they are not big. If someone is blue then they are not big. If the tiger is blue then the tiger is green.
The tiger does not chase the tiger.
@0: The tiger is blue.[(triple2)] The tiger is green.[(triple3 OR ((triple2) -> rule3))] The tiger is nice.[(triple4)] The tiger is not big.[(triple1 OR ((triple2) -> rule2) OR ((triple2 triple5) -> rule1))] The tiger is not rough.[(triple5)]