The cat chases the lion. The cat eats the cow. The cat eats the lion. The cat is not big. The cat is rough. The cat needs the cow. The cat needs the lion. The cow chases the cat. The cow chases the lion. The cow eats the cat. The cow eats the lion. The cow is rough. The cow is young. The cow needs the cat. The lion eats the cat. The lion is not rough. If someone chases the cat then they need the cow. If someone chases the cow and they do not eat the cat then they need the cow. If the cat needs the cow and the cow is not big then the cow does not chase the lion. If someone chases the cow and the cow needs the lion then the lion eats the cow. If someone needs the cat then the cat eats the cow. If someone is rough and big then they need the lion.
The cow does not need the lion.
@0: The cat chases the lion.[(triple1)] The cat eats the cow.[(triple2 OR ((triple14) -> rule5))] The cat eats the lion.[(triple3)] The cat is not big.[(triple4)] The cat is rough.[(triple5)] The cat needs the cow.[(triple6)] The cat needs the lion.[(triple7)] The cow chases the cat.[(triple8)] The cow chases the lion.[(triple9)] The cow eats the cat.[(triple10)] The cow eats the lion.[(triple11)] The cow is rough.[(triple12)] The cow is young.[(triple13)] The cow needs the cat.[(triple14)] The lion eats the cat.[(triple15)] The lion is not rough.[(triple16)] @1: The cow needs the cow.[(((triple8) -> rule1))]