The cat does not eat the mouse. The cat eats the tiger. The cat is not blue. The cat likes the mouse. The cat likes the tiger. The cat visits the mouse. The cat visits the tiger. The mouse eats the cat. The mouse eats the tiger. The mouse likes the cat. The mouse visits the cat. The mouse visits the tiger. The tiger eats the cat. The tiger eats the mouse. The tiger is big. The tiger visits the mouse. If something eats the tiger then the tiger is big.
The cat does not visit the cat.
@0: The cat does not eat the mouse.[(triple1)] The cat eats the tiger.[(triple2)] The cat is not 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 mouse eats the cat.[(triple8)] The mouse eats the tiger.[(triple9)] The mouse likes the cat.[(triple10)] The mouse visits the cat.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger eats the cat.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger is big.[(triple15 OR ((triple2) -> rule1) OR ((triple9) -> rule1))] The tiger visits the mouse.[(triple16)]