The bear chases the cat. The bear chases the lion. The bear likes the lion. The bear needs the cat. The bear needs the lion. The cat likes the bear. The cat needs the lion. The lion chases the tiger. The lion is blue. The lion is cold. The lion is rough. The lion needs the cat. The lion needs the tiger. The tiger is rough. The tiger needs the cat. If something needs the tiger then it is cold. If the lion chases the tiger then the lion is cold. If something likes the cat and it needs the tiger then the tiger needs the lion.
The cat does not like the bear.
@0: The bear chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear likes the lion.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the lion.[(triple5)] The cat likes the bear.[(triple6)] The cat needs the lion.[(triple7)] The lion chases the tiger.[(triple8)] The lion is blue.[(triple9)] The lion is cold.[(triple10 OR ((triple13) -> rule1) OR ((triple8) -> rule2))] The lion is rough.[(triple11)] The lion needs the cat.[(triple12)] The lion needs the tiger.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the cat.[(triple15)]