The bear chases the mouse. The bear is nice. The bear is round. The bear likes the cow. The bear likes the mouse. The cow is round. The cow sees the bear. The cow sees the mouse. The dog chases the mouse. The dog is kind. The dog likes the mouse. The mouse chases the dog. The mouse is green. The mouse is nice. The mouse likes the dog. If something is nice then it sees the dog. If something sees the mouse then the mouse sees the dog. If something chases the mouse and it is round then it sees the dog. All kind things are nice. If something sees the cow and it is green then the cow chases the dog. If something sees the bear then the bear is nice. If something likes the dog and it chases the dog then the dog is nice. If something chases the cow and the cow likes the dog then the dog likes the mouse.
The dog sees the mouse.
@0: The bear chases the mouse.[(triple1)] The bear is nice.[(triple2 OR ((triple7) -> rule6))] The bear is round.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the mouse.[(triple5)] The cow is round.[(triple6)] The cow sees the bear.[(triple7)] The cow sees the mouse.[(triple8)] The dog chases the mouse.[(triple9)] The dog is kind.[(triple10)] The dog likes the mouse.[(triple11)] The mouse chases the dog.[(triple12)] The mouse is green.[(triple13)] The mouse is nice.[(triple14)] The mouse likes the dog.[(triple15)] @1: The bear sees the dog.[(((triple2) -> rule1) OR ((triple1 triple3) -> rule3) OR ((((triple7) -> rule6)) -> rule1))] The dog is nice.[(((triple10) -> rule4) OR ((triple15 triple12) -> rule7))] The mouse sees the dog.[(((triple14) -> rule1) OR ((triple8) -> rule2))] @2: The dog sees the dog.[(((((triple10) -> rule4)) -> rule1) OR ((((triple15 triple12) -> rule7)) -> rule1))]