The bear does not chase the rabbit. The bear does not see the cow. The cow is big. The cow is green. The cow likes the rabbit. The mouse chases the cow. The mouse chases the rabbit. The mouse is big. The mouse is red. The mouse likes the cow. The mouse likes the rabbit. The rabbit chases the cow. If someone is big then they see the cow. If someone likes the mouse then the mouse sees the bear. If someone chases the rabbit then the rabbit sees the cow. If someone chases the mouse then they see the bear. If someone chases the cow and they are not green then the cow chases the bear. If someone sees the cow and they are big then the cow chases the mouse. If the bear is big and the bear likes the rabbit then the bear chases the mouse. If the cow does not chase the bear and the cow is not green then the cow likes the bear.
The cow chases the mouse.
@0: The bear does not chase the rabbit.[(triple1)] The bear does not see the cow.[(triple2)] The cow is big.[(triple3)] The cow is green.[(triple4)] The cow likes the rabbit.[(triple5)] The mouse chases the cow.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse is big.[(triple8)] The mouse is red.[(triple9)] The mouse likes the cow.[(triple10)] The mouse likes the rabbit.[(triple11)] The rabbit chases the cow.[(triple12)] @1: The cow sees the cow.[(((triple3) -> rule1))] The mouse sees the cow.[(((triple8) -> rule1))] The rabbit sees the cow.[(((triple7) -> rule3))] @2: The cow chases the mouse.[(((((triple3) -> rule1) triple3) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6))] @3: The cow sees the bear.[(((((((triple3) -> rule1) triple3) -> rule6)) -> rule4) OR ((((((triple8) -> rule1) triple8) -> rule6)) -> rule4))]