The cat is round. The cat likes the dog. The cat likes the tiger. The dog is rough. The mouse chases the cat. The mouse chases the dog. The mouse eats the cat. The mouse does not eat the dog. The mouse is not red. The mouse is round. The tiger chases the cat. The tiger eats the dog. The tiger is big. The tiger likes the cat. The tiger does not like the mouse. If the dog eats the cat then the dog likes the tiger. If someone eats the mouse then the mouse chases the cat. If someone chases the dog then the dog does not like the mouse.
The dog does not like the tiger.
@0: The cat is round.[(triple1)] The cat likes the dog.[(triple2)] The cat likes the tiger.[(triple3)] The dog is rough.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the dog.[(triple6)] The mouse does not eat the dog.[(triple8)] The mouse eats the cat.[(triple7)] The mouse is not red.[(triple9)] The mouse is round.[(triple10)] The tiger chases the cat.[(triple11)] The tiger does not like the mouse.[(triple15)] The tiger eats the dog.[(triple12)] The tiger is big.[(triple13)] The tiger likes the cat.[(triple14)] @1: The dog does not like the mouse.[(((triple6) -> rule3))]