The tiger is not big. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. Rough people are nice. All rough people are nice. Big people are red. Rough people are young. Nice, red people are rough. If someone is big and nice then they are not rough. If the tiger is big then the tiger is rough. If the tiger is not red and the tiger is not rough then the tiger is young.
The tiger is big.
@0: The tiger is nice.[(triple2 OR ((triple4) -> rule1) OR ((triple4) -> rule2))] The tiger is not big.[(triple1)] The tiger is red.[(triple3)] The tiger is rough.[(triple4 OR ((triple2 triple3) -> rule5))] The tiger is young.[(triple5 OR ((triple4) -> rule4) OR ((((triple2 triple3) -> rule5)) -> rule4))]