The tiger is big. The tiger is not red. The tiger is not rough. The tiger is round. The tiger is young. If the tiger is red and the tiger is not big then the tiger is rough. If the tiger is round then the tiger is not rough. If something is big and not young then it is red. All rough things are red. Young things are not rough. If something is red and big then it is rough. If something is red and not young then it is round. Young things are round.
The tiger does not like the tiger.
@0: The tiger is big.[(triple1)] The tiger is not red.[(triple2)] The tiger is not rough.[(triple3 OR ((triple4) -> rule2) OR ((triple5) -> rule5) OR ((((triple5) -> rule8)) -> rule2))] The tiger is round.[(triple4 OR ((triple5) -> rule8))] The tiger is young.[(triple5)]