The bear is green. The bear is rough. The bear sees the rabbit. The cow eats the rabbit. The cow is round. The mouse is rough. The mouse likes the cow. The mouse sees the cow. The rabbit eats the bear. The rabbit likes the mouse. If someone sees the bear then the bear eats the rabbit. If the rabbit is round then the rabbit sees the cow. If someone is rough and green then they eat the bear. If the bear sees the cow then the cow eats the bear. If someone sees the mouse and they see the rabbit then the mouse is round. If someone likes the mouse then the mouse sees the cow.
The cow likes the mouse.
@0: The bear is green.[(triple1)] The bear is rough.[(triple2)] The bear sees the rabbit.[(triple3)] The cow eats the rabbit.[(triple4)] The cow is round.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the cow.[(triple7)] The mouse sees the cow.[(triple8 OR ((triple10) -> rule6))] The rabbit eats the bear.[(triple9)] The rabbit likes the mouse.[(triple10)] @1: The bear eats the bear.[(((triple2 triple1) -> rule3))]