The cat chases the tiger. The cat eats the dog. The cat is big. The dog chases the lion. The dog is nice. The dog sees the lion. The lion chases the tiger. The lion eats the cat. The lion eats the tiger. The lion is big. The tiger is big. The tiger is nice. The tiger is young. The tiger sees the cat. The tiger sees the dog. If someone eats the tiger and they chase the tiger then the tiger sees the dog. If someone sees the dog and they chase the lion then the dog eats the tiger. If the tiger chases the cat then the cat sees the lion. If someone eats the cat and they are big then they are red. If someone sees the lion and the lion chases the tiger then the lion sees the tiger. If someone sees the tiger then the tiger chases the cat. If someone eats the tiger and they chase the lion then they are big. If someone sees the lion and they chase the lion then they are big.
The dog eats the tiger.
@0: The cat chases the tiger.[(triple1)] The cat eats the dog.[(triple2)] The cat is big.[(triple3)] The dog chases the lion.[(triple4)] The dog is nice.[(triple5)] The dog sees the lion.[(triple6)] The lion chases the tiger.[(triple7)] The lion eats the cat.[(triple8)] The lion eats the tiger.[(triple9)] The lion is big.[(triple10)] The tiger is big.[(triple11)] The tiger is nice.[(triple12)] The tiger is young.[(triple13)] The tiger sees the cat.[(triple14)] The tiger sees the dog.[(triple15 OR ((triple9 triple7) -> rule1))] @1: The dog is big.[(((triple6 triple4) -> rule8))] The lion is red.[(((triple8 triple10) -> rule4))] The lion sees the tiger.[(((triple6 triple7) -> rule5))] @2: The tiger chases the cat.[(((((triple6 triple7) -> rule5)) -> rule6))] @3: The cat sees the lion.[(((((((triple6 triple7) -> rule5)) -> rule6)) -> rule3))]