The tiger is nice. The tiger is red. The tiger is rough. The tiger is round. The tiger is young. Young, rough people are nice. If someone is red and not round then they are nice. Red people are nice. If someone is rough and not round then they are young. If the tiger is young and the tiger is not round then the tiger is rough. If the tiger is rough and the tiger is young then the tiger is nice. Nice people are rough. If the tiger is nice and the tiger is not round then the tiger is young.
The tiger does not chase the tiger.
@0: The tiger is nice.[(triple1 OR ((triple2) -> rule3) OR ((triple3 triple5) -> rule6) OR ((triple5 triple3) -> rule1))] The tiger is red.[(triple2)] The tiger is rough.[(triple3 OR ((triple1) -> rule7) OR ((((triple2) -> rule3)) -> rule7))] The tiger is round.[(triple4)] The tiger is young.[(triple5)]