The dog eats the lion. The dog eats the tiger. The dog is red. The lion eats the dog. The lion is red. The lion sees the dog. The tiger does not eat the lion. The tiger is big. The tiger is red. The tiger sees the dog. The tiger visits the dog. The tiger visits the lion. If someone is red then they eat the tiger. If someone visits the dog and they eat the lion then they see the tiger. If someone visits the tiger then they are young. If the tiger visits the dog and the tiger does not eat the lion then the tiger sees the dog. If someone sees the lion and the lion visits the tiger then they visit the dog. If someone visits the dog and the dog eats the lion then the dog is big.
The lion does not eat the tiger.
@0: The dog eats the lion.[(triple1)] The dog eats the tiger.[(triple2 OR ((triple3) -> rule1))] The dog is red.[(triple3)] The lion eats the dog.[(triple4)] The lion is red.[(triple5)] The lion sees the dog.[(triple6)] The tiger does not eat the lion.[(triple7)] The tiger is big.[(triple8)] The tiger is red.[(triple9)] The tiger sees the dog.[(triple10 OR ((triple11 triple7) -> rule4))] The tiger visits the dog.[(triple11)] The tiger visits the lion.[(triple12)] @1: The dog is big.[(((triple11 triple1) -> rule6))] The lion eats the tiger.[(((triple5) -> rule1))] The tiger eats the tiger.[(((triple9) -> rule1))]