The bear is red. The bear is round. The bear likes the cow. The cow is big. The cow likes the bear. The lion chases the bear. The lion is green. The lion is red. The lion is not rough. The lion is round. The lion does not like the tiger. The tiger likes the cow. If something likes the lion then the lion eats the tiger. If the lion is not big and the lion is not rough then the lion eats the tiger. If the lion eats the tiger and the lion likes the bear then the tiger likes the cow. If something is rough and it likes the tiger then it likes the bear. If something likes the lion then the lion is green. If something likes the cow then it eats the bear.
The cow is not big.
@0: The bear is red.[(triple1)] The bear is round.[(triple2)] The bear likes the cow.[(triple3)] The cow is big.[(triple4)] The cow likes the bear.[(triple5)] The lion chases the bear.[(triple6)] The lion does not like the tiger.[(triple11)] The lion is green.[(triple7)] The lion is not rough.[(triple9)] The lion is red.[(triple8)] The lion is round.[(triple10)] The tiger likes the cow.[(triple12)] @1: The bear eats the bear.[(((triple3) -> rule6))] The tiger eats the bear.[(((triple12) -> rule6))]