The cow eats the lion. The cow is not blue. The cow is green. The cow is red. The cow needs the lion. The cow sees the lion. The lion does not eat the cow. The lion is big. The lion is red. The lion needs the cow. If something is red and it does not need the lion then it does not eat the lion. If something is big then it eats the lion. If something is green and it does not need the cow then the cow eats the lion. If something sees the lion and it is not green then the lion eats the cow. If the lion is not big then the lion sees the cow. If something is round and green then it does not see the lion. If something needs the cow and the cow is red then it sees the cow. If something sees the cow then it is not blue.
The lion does not eat the lion.
@0: The cow eats the lion.[(triple1)] The cow is green.[(triple3)] The cow is not blue.[(triple2)] The cow is red.[(triple4)] The cow needs the lion.[(triple5)] The cow sees the lion.[(triple6)] The lion does not eat the cow.[(triple7)] The lion is big.[(triple8)] The lion is red.[(triple9)] The lion needs the cow.[(triple10)] @1: The lion eats the lion.[(((triple8) -> rule2))] The lion sees the cow.[(((triple10 triple4) -> rule7))] @2: The lion is not blue.[(((((triple10 triple4) -> rule7)) -> rule8))]