The cow sees the lion. The lion sees the rabbit. The mouse likes the cow. The rabbit does not like the mouse. If someone is red and they do not like the rabbit then the rabbit does not eat the mouse. If the rabbit eats the lion and the lion sees the cow then the lion is not kind. If the rabbit likes the lion and the lion sees the cow then the rabbit is big. If someone sees the rabbit then the rabbit sees the cow. If someone is round and not big then they do not see the mouse. If someone eats the cow and they see the mouse then the cow likes the mouse. If someone likes the cow and they do not see the mouse then the mouse sees the lion. If the mouse is big and the mouse sees the lion then the mouse likes the lion.
The cow does not like the mouse.
@0: The cow sees the lion.[(triple1)] The lion sees the rabbit.[(triple2)] The mouse likes the cow.[(triple3)] The rabbit does not like the mouse.[(triple4)] @1: The rabbit sees the cow.[(((triple2) -> rule4))]