The tiger is big. The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. If something is rough then it is red. If the tiger is rough then the tiger is big. All big things are rough. If the tiger is big then the tiger is rough. If something is nice and not rough then it is green. Nice things are green.
The tiger is not nice.
@0: The tiger is big.[(triple1 OR ((triple5) -> rule2))] The tiger is green.[(triple2 OR ((triple3) -> rule6))] The tiger is nice.[(triple3)] The tiger is red.[(triple4 OR ((triple5) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule4)) -> rule1))] The tiger is rough.[(triple5 OR ((triple1) -> rule3) OR ((triple1) -> rule4))]