The dog does not eat the lion. The dog is big. The dog is red. The dog visits the tiger. The lion eats the dog. The lion eats the tiger. The lion is nice. The lion is round. The lion visits the tiger. The tiger eats the dog. The tiger eats the lion. The tiger is big. The tiger is red. The tiger is rough. The tiger is round. The tiger sees the dog. If something eats the dog then it sees the dog. If something visits the lion and it eats the lion then the lion visits the dog. If something is big and it does not visit the tiger then it is not rough. If something eats the lion then it is nice. If the lion is not red then the lion is not big. If the tiger is nice then the tiger visits the lion.
The dog is not rough.
@0: The dog does not eat the lion.[(triple1)] The dog is big.[(triple2)] The dog is red.[(triple3)] The dog visits the tiger.[(triple4)] The lion eats the dog.[(triple5)] The lion eats the tiger.[(triple6)] The lion is nice.[(triple7)] The lion is round.[(triple8)] The lion visits the tiger.[(triple9)] The tiger eats the dog.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is big.[(triple12)] The tiger is red.[(triple13)] The tiger is rough.[(triple14)] The tiger is round.[(triple15)] The tiger sees the dog.[(triple16 OR ((triple10) -> rule1))] @1: The lion sees the dog.[(((triple5) -> rule1))] The tiger is nice.[(((triple11) -> rule4))] @2: The tiger visits the lion.[(((((triple11) -> rule4)) -> rule6))] @3: The lion visits the dog.[(((((((triple11) -> rule4)) -> rule6) triple11) -> rule2))]