The bear chases the dog. The bear is kind. The bear is nice. The bear is round. The bear sees the cow. The cow chases the bear. The cow chases the dog. The cow eats the dog. The cow eats the mouse. The cow is nice. The dog chases the bear. The dog eats the cow. The dog sees the bear. The mouse chases the cow. The mouse is red. If something chases the dog then it sees the bear. If the dog sees the cow and the cow eats the bear then the cow is kind. If something chases the dog then it eats the bear.
The cow is not nice.
@0: The bear chases the dog.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear sees the cow.[(triple5)] The cow chases the bear.[(triple6)] The cow chases the dog.[(triple7)] The cow eats the dog.[(triple8)] The cow eats the mouse.[(triple9)] The cow is nice.[(triple10)] The dog chases the bear.[(triple11)] The dog eats the cow.[(triple12)] The dog sees the bear.[(triple13)] The mouse chases the cow.[(triple14)] The mouse is red.[(triple15)] @1: The bear eats the bear.[(((triple1) -> rule3))] The bear sees the bear.[(((triple1) -> rule1))] The cow eats the bear.[(((triple7) -> rule3))] The cow sees the bear.[(((triple7) -> rule1))]