The cow eats the lion. The cow is not green. The cow is nice. The cow is young. The cow needs the lion. The cow visits the lion. The lion eats the cow. The lion is green. The lion is rough. The lion is not young. The lion needs the cow. The lion visits the cow. If the lion visits the cow and the lion is big then the cow needs the lion. If something is green then it does not visit the lion. If something needs the lion then it eats the lion. If something is rough then it eats the lion. If something visits the cow and it does not eat the lion then it does not eat the cow. If something is big and it does not eat the lion then it is not young.
The cow is green.
@0: The cow eats the lion.[(triple1 OR ((triple5) -> rule3))] The cow is nice.[(triple3)] The cow is not green.[(triple2)] The cow is young.[(triple4)] The cow needs the lion.[(triple5)] The cow visits the lion.[(triple6)] The lion eats the cow.[(triple7)] The lion is green.[(triple8)] The lion is not young.[(triple10)] The lion is rough.[(triple9)] The lion needs the cow.[(triple11)] The lion visits the cow.[(triple12)] @1: The lion does not visit the lion.[(((triple8) -> rule2))] The lion eats the lion.[(((triple9) -> rule4))]