The bear chases the cat. The bear chases the tiger. The bear is nice. The bear is round. The bear is young. The bear likes the lion. The bear needs the cat. The bear needs the lion. The cat likes the lion. The lion chases the bear. The lion needs the tiger. The tiger is red. If something likes the lion then the lion likes the bear. If something chases the lion then it chases the tiger. If the tiger likes the cat then the tiger needs the lion. If something chases the bear and it needs the bear then the bear likes the lion. If something chases the bear and the bear likes the tiger then the bear is big. If something is round and it chases the cat then the cat chases the bear. If something likes the lion then the lion likes the cat. If something is big then it chases the tiger.
The cat does not like the lion.
@0: The bear chases the cat.[(triple1)] The bear chases the tiger.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the lion.[(triple6)] The bear needs the cat.[(triple7)] The bear needs the lion.[(triple8)] The cat likes the lion.[(triple9)] The lion chases the bear.[(triple10)] The lion needs the tiger.[(triple11)] The tiger is red.[(triple12)] @1: The cat chases the bear.[(((triple4 triple1) -> rule6))] The lion likes the bear.[(((triple6) -> rule1) OR ((triple9) -> rule1))] The lion likes the cat.[(((triple6) -> rule7) OR ((triple9) -> rule7))]