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