The dog eats the lion. The dog is big. The dog is nice. The dog visits the tiger. The lion eats the dog. The lion eats the tiger. The lion is big. The lion is nice. The lion is rough. The lion likes the dog. The lion likes the tiger. The lion visits the dog. The lion visits the tiger. The tiger is big. The tiger is red. The tiger is round. If someone is red and nice then they visit the lion. If someone likes the tiger and the tiger eats the lion then the tiger is nice. If the dog eats the lion and the lion likes the tiger then the dog likes the lion. If the tiger is rough and the tiger is red then the tiger likes the lion. If someone is rough and red then they eat the lion. If someone is nice and they eat the tiger then they visit the dog.
The lion is not big.
@0: The dog eats the lion.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple3)] The dog visits the tiger.[(triple4)] The lion eats the dog.[(triple5)] The lion eats the tiger.[(triple6)] The lion is big.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion likes the dog.[(triple10)] The lion likes the tiger.[(triple11)] The lion visits the dog.[(triple12 OR ((triple8 triple6) -> rule6))] The lion visits the tiger.[(triple13)] The tiger is big.[(triple14)] The tiger is red.[(triple15)] The tiger is round.[(triple16)] @1: The dog likes the lion.[(((triple1 triple11) -> rule3))]