The bear chases the cow. The bear does not chase the lion. The bear chases the tiger. The bear is big. The bear is not young. The bear likes the cow. The bear likes the tiger. The bear sees the lion. The cow chases the lion. The cow is young. The cow likes the lion. The lion does not chase the tiger. The lion is not big. The tiger is blue. The tiger likes the lion. If something likes the tiger then it likes the cow. If something sees the bear then it is not young. If something likes the cow and it does not see the lion then it likes the tiger. If something is young and it chases the bear then the bear does not chase the lion. If something chases the cow and it sees the tiger then the tiger chases the cow. If something sees the tiger and it chases the bear then the bear is not red.
The lion does not chase the tiger.
@0: The bear chases the cow.[(triple1)] The bear chases the tiger.[(triple3)] The bear does not chase the lion.[(triple2)] The bear is big.[(triple4)] The bear is not young.[(triple5)] The bear likes the cow.[(triple6 OR ((triple7) -> rule1))] The bear likes the tiger.[(triple7)] The bear sees the lion.[(triple8)] The cow chases the lion.[(triple9)] The cow is young.[(triple10)] The cow likes the lion.[(triple11)] The lion does not chase the tiger.[(triple12)] The lion is not big.[(triple13)] The tiger is blue.[(triple14)] The tiger likes the lion.[(triple15)]