The cat eats the dog. The cat eats the tiger. The cat is blue. The cat likes the mouse. The cat likes the tiger. The cat visits the mouse. The cat visits the tiger. The dog is blue. The dog is rough. The mouse is blue. The mouse is rough. The mouse visits the tiger. The tiger eats the mouse. The tiger is red. The tiger is rough. The tiger is round. If someone eats the dog then the dog visits the cat. If someone eats the mouse then they eat the dog. If someone likes the mouse and they are red then they like the tiger. If the mouse is rough then the mouse is young. If someone eats the tiger then they are young. If someone is rough and they eat the tiger then they eat the cat.
The tiger does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat eats the tiger.[(triple2)] The cat is blue.[(triple3)] The cat likes the mouse.[(triple4)] The cat likes the tiger.[(triple5)] The cat visits the mouse.[(triple6)] The cat visits the tiger.[(triple7)] The dog is blue.[(triple8)] The dog is rough.[(triple9)] The mouse is blue.[(triple10)] The mouse is rough.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger is red.[(triple14)] The tiger is rough.[(triple15)] The tiger is round.[(triple16)] @1: The cat is young.[(((triple2) -> rule5))] The dog visits the cat.[(((triple1) -> rule1) OR ((((triple13) -> rule2)) -> rule1))] The mouse is young.[(((triple11) -> rule4))] The tiger eats the dog.[(((triple13) -> rule2))]