The cow is red. The cow is young. The cow needs the lion. The cow sees the lion. The cow does not visit the lion. The lion is rough. The lion sees the cow. If someone needs the lion and the lion does not visit the cow then the lion is kind. If someone sees the lion then they are red. If someone needs the lion and they visit the cow then they do not visit the lion. If someone needs the cow then they do not see the cow. If someone visits the cow then they do not see the cow. If someone visits the cow then the cow needs the lion. If the cow is blue and the cow sees the lion then the cow needs the lion. If someone needs the cow then the cow visits the lion.
The lion is not red.
@0: The cow does not visit the lion.[(triple5)] The cow is red.[(triple1 OR ((triple4) -> rule2))] The cow is young.[(triple2)] The cow needs the lion.[(triple3)] The cow sees the lion.[(triple4)] The lion is rough.[(triple6)] The lion sees the cow.[(triple7)]