The dog chases the lion. The dog is nice. The lion does not eat the tiger. The lion is not big. The lion visits the tiger. The mouse does not chase the tiger. The mouse is nice. The tiger chases the lion. The tiger eats the dog. The tiger does not eat the mouse. The tiger visits the lion. If something visits the dog and it is kind then it visits the mouse. If something chases the dog then it is not red. If something chases the lion and it visits the dog then it chases the dog. If something chases the lion then it is big. If something eats the lion then it is not cold. If something is big then it visits the dog. If something visits the mouse then the mouse is red. If the tiger visits the dog and the dog is not big then the dog chases the mouse. If something visits the tiger and the tiger is not red then it is not nice.
The dog does not eat the tiger.
@0: The dog chases the lion.[(triple1)] The dog is nice.[(triple2)] The lion does not eat the tiger.[(triple3)] The lion is not big.[(triple4)] The lion visits the tiger.[(triple5)] The mouse does not chase the tiger.[(triple6)] The mouse is nice.[(triple7)] The tiger chases the lion.[(triple8)] The tiger does not eat the mouse.[(triple10)] The tiger eats the dog.[(triple9)] The tiger visits the lion.[(triple11)] @1: The dog is big.[(((triple1) -> rule4))] The tiger is big.[(((triple8) -> rule4))] @2: The dog visits the dog.[(((((triple1) -> rule4)) -> rule6))] The tiger visits the dog.[(((((triple8) -> rule4)) -> rule6))] @3: The dog chases the dog.[(((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule3))] The tiger chases the dog.[(((triple8 ((((triple8) -> rule4)) -> rule6)) -> rule3))] @4: The dog is not red.[(((((triple1 ((((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule2))] The tiger is not red.[(((((triple8 ((((triple8) -> rule4)) -> rule6)) -> rule3)) -> rule2))] @5: The lion is not nice.[(((triple5 ((((triple8 ((((triple8) -> rule4)) -> rule6)) -> rule3)) -> rule2)) -> rule9))]