The bear chases the mouse. The bear chases the rabbit. The bear is cold. The bear is young. The bear likes the mouse. The bear likes the rabbit. The bear needs the mouse. The bear needs the rabbit. The mouse chases the bear. The mouse is big. The mouse likes the rabbit. The mouse needs the bear. The mouse needs the rabbit. The rabbit chases the mouse. The rabbit is young. The rabbit needs the mouse. If something is big then it needs the mouse. If the bear likes the mouse and the bear is big then the bear is cold.
The mouse is not cold.
@0: The bear chases the mouse.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is cold.[(triple3)] The bear is young.[(triple4)] The bear likes the mouse.[(triple5)] The bear likes the rabbit.[(triple6)] The bear needs the mouse.[(triple7)] The bear needs the rabbit.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is big.[(triple10)] The mouse likes the rabbit.[(triple11)] The mouse needs the bear.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit chases the mouse.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the mouse.[(triple16)] @1: The mouse needs the mouse.[(((triple10) -> rule1))]