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