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