The lion chases the tiger. The lion is big. The tiger chases the lion. The tiger eats the lion. The tiger is big. The tiger is blue. The tiger is red. If someone chases the lion then they see the lion. If someone sees the lion then they eat the tiger. If someone is blue and they see the lion then the lion chases the tiger.
The lion is not round.
@0: The lion chases the tiger.[(triple1 OR ((triple6 ((triple3) -> rule1)) -> rule3))] The lion is big.[(triple2)] The tiger chases the lion.[(triple3)] The tiger eats the lion.[(triple4)] The tiger is big.[(triple5)] The tiger is blue.[(triple6)] The tiger is red.[(triple7)] @1: The tiger sees the lion.[(((triple3) -> rule1))] @2: The tiger eats the tiger.[(((((triple3) -> rule1)) -> rule2))]