The cow eats the tiger. The cow is rough. The cow does not like the tiger. The cow visits the tiger. The dog is round. The dog likes the mouse. The mouse does not eat the cow. The tiger eats the cow. The tiger is blue. The tiger likes the cow. The tiger likes the mouse. The tiger does not visit the dog. If someone eats the dog then the dog does not visit the cow. If someone likes the cow and the cow visits the mouse then the mouse does not eat the tiger. If someone is rough then they like the dog. If someone is rough then they like the cow. If someone is round and they eat the dog then they like the tiger. If someone likes the tiger then the tiger visits the cow.
The cow visits the dog.
@0: The cow does not like the tiger.[(triple3)] The cow eats the tiger.[(triple1)] The cow is rough.[(triple2)] The cow visits the tiger.[(triple4)] The dog is round.[(triple5)] The dog likes the mouse.[(triple6)] The mouse does not eat the cow.[(triple7)] The tiger does not visit the dog.[(triple12)] The tiger eats the cow.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the cow.[(triple10)] The tiger likes the mouse.[(triple11)] @1: The cow likes the cow.[(((triple2) -> rule4))] The cow likes the dog.[(((triple2) -> rule3))]