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