The cow is blue. The cow is red. The cow is rough. The lion likes the mouse. The lion likes the rabbit. The lion needs the mouse. The lion does not visit the mouse. The mouse is blue. The mouse needs the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is rough. If something is red and it does not visit the mouse then the mouse likes the rabbit. If the rabbit visits the lion and the lion needs the mouse then the lion is big. If something visits the lion then the lion does not need the cow. If something is kind and it needs the lion then the lion does not need the cow. If something is kind then it does not like the rabbit. If something needs the mouse and the mouse is not big then the mouse does not visit the cow. If the lion does not visit the cow then the cow is rough. If the rabbit is rough and the rabbit visits the cow then the rabbit does not need the mouse.
The lion is not big.
@0: The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The lion does not visit the mouse.[(triple7)] The lion likes the mouse.[(triple4)] The lion likes the rabbit.[(triple5)] The lion needs the mouse.[(triple6)] The mouse is blue.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is rough.[(triple12)] @1: The rabbit does not like the rabbit.[(((triple11) -> rule5))]