The bear chases the lion. The bear is blue. The bear is not cold. The bear is red. The bear is rough. The bear likes the lion. The lion chases the bear. The lion is kind. The lion is not red. The lion is not rough. The lion likes the bear. The lion sees the bear. If someone sees the lion and they do not chase the lion then the lion does not like the bear. If someone likes the lion and they see the lion then they see the bear. If the lion is kind then the lion chases the bear.
The bear does not chase the lion.
@0: The bear chases the lion.[(triple1)] The bear is blue.[(triple2)] The bear is not cold.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear likes the lion.[(triple6)] The lion chases the bear.[(triple7 OR ((triple8) -> rule3))] The lion is kind.[(triple8)] The lion is not red.[(triple9)] The lion is not rough.[(triple10)] The lion likes the bear.[(triple11)] The lion sees the bear.[(triple12)]