The cow is not red. The dog is not blue. The lion is green. The mouse likes the lion. If someone is nice then they do not eat the cow. If someone eats the dog then the dog visits the mouse. If the cow likes the dog and the dog eats the lion then the dog does not like the mouse. If someone likes the mouse and the mouse does not eat the cow then the cow likes the lion. If someone likes the lion then the lion visits the cow. If someone likes the dog and the dog does not eat the cow then the cow does not visit the dog. If someone visits the cow and the cow likes the dog then the cow visits the lion. If someone is blue and they do not like the lion then the lion is big.
The lion is not big.
@0: The cow is not red.[(triple1)] The dog is not blue.[(triple2)] The lion is green.[(triple3)] The mouse likes the lion.[(triple4)] @1: The lion visits the cow.[(((triple4) -> rule5))]