The bear sees the cow. The bear sees the mouse. The cow chases the bear. The cow chases the rabbit. The cow is red. The cow is young. The cow sees the rabbit. The mouse eats the cow. The mouse sees the rabbit. The rabbit chases the bear. The rabbit eats the cow. The rabbit eats the mouse. If someone chases the rabbit then the rabbit is cold. If someone is cold then they see the cow. If someone is young then they eat the mouse.
The cow does not see the cow.
@0: The bear sees the cow.[(triple1)] The bear sees the mouse.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the rabbit.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow sees the rabbit.[(triple7)] The mouse eats the cow.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit eats the cow.[(triple11)] The rabbit eats the mouse.[(triple12)] @1: The cow eats the mouse.[(((triple6) -> rule3))] The rabbit is cold.[(((triple4) -> rule1))] @2: The rabbit sees the cow.[(((((triple4) -> rule1)) -> rule2))]