The bear is kind. The bear is nice. The bear likes the cow. The bear sees the rabbit. The cow eats the mouse. The cow is kind. The cow likes the bear. The mouse eats the bear. The mouse is nice. The mouse is young. The mouse likes the cow. The mouse sees the cow. The rabbit is young. The rabbit likes the bear. The rabbit likes the cow. The rabbit sees the mouse. If someone is rough then they are blue. If someone likes the mouse then they are nice. If someone likes the bear and they see the rabbit then the bear likes the cow. If someone is nice then they eat the cow. If someone likes the bear and they see the bear then the bear is nice. If someone eats the bear then they eat the mouse.
The bear does not eat the mouse.
@0: The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear likes the cow.[(triple3)] The bear sees the rabbit.[(triple4)] The cow eats the mouse.[(triple5)] The cow is kind.[(triple6)] The cow likes the bear.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is nice.[(triple9)] The mouse is young.[(triple10)] The mouse likes the cow.[(triple11)] The mouse sees the cow.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear eats the cow.[(((triple2) -> rule4))] The mouse eats the cow.[(((triple9) -> rule4))] The mouse eats the mouse.[(((triple8) -> rule6))]