The lion chases the tiger. The lion eats the rabbit. The lion eats the tiger. The lion is young. The rabbit chases the lion. The rabbit eats the lion. The rabbit eats the tiger. The rabbit is big. The rabbit is blue. The rabbit is young. The rabbit needs the lion. The rabbit needs the tiger. The tiger chases the rabbit. The tiger eats the lion. The tiger needs the lion. If someone chases the rabbit then they are young. If the lion is young then the lion chases the tiger. If someone needs the tiger and the tiger eats the rabbit then the tiger chases the rabbit. All kind, blue people are red. If someone is big and they chase the lion then they need the lion. If someone needs the lion and they eat the lion then the lion needs the tiger. If someone chases the lion then they need the tiger. If someone is young then they chase the lion.
The tiger is young.
@0: The lion chases the tiger.[(triple1 OR ((triple4) -> rule2))] The lion eats the rabbit.[(triple2)] The lion eats the tiger.[(triple3)] The lion is young.[(triple4)] The rabbit chases the lion.[(triple5 OR ((triple10) -> rule8))] The rabbit eats the lion.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is young.[(triple10)] The rabbit needs the lion.[(triple11 OR ((triple8 triple5) -> rule5) OR ((triple8 ((triple10) -> rule8)) -> rule5))] The rabbit needs the tiger.[(triple12 OR ((triple5) -> rule7) OR ((((triple10) -> rule8)) -> rule7))] The tiger chases the rabbit.[(triple13)] The tiger eats the lion.[(triple14)] The tiger needs the lion.[(triple15)] @1: The lion chases the lion.[(((triple4) -> rule8))] The lion needs the tiger.[(((triple11 triple6) -> rule6) OR ((triple15 triple14) -> rule6) OR ((((triple4) -> rule8)) -> rule7) OR ((((triple8 triple5) -> rule5) triple6) -> rule6) OR ((((triple8 ((triple10) -> rule8)) -> rule5) triple6) -> rule6))] The tiger is young.[(((triple13) -> rule1))] @2: The tiger chases the lion.[(((((triple13) -> rule1)) -> rule8))] @3: The tiger needs the tiger.[(((((((triple13) -> rule1)) -> rule8)) -> rule7))]