The bear chases the dog. The bear chases the mouse. The bear is cold. The bear is nice. The dog is cold. The dog is nice. The mouse chases the bear. The mouse chases the dog. The mouse needs the bear. The mouse needs the dog. If someone chases the bear then they visit the dog. If someone is cold and round then they chase the dog. If someone needs the dog then they are round.
The dog does not chase the mouse.
@0: The bear chases the dog.[(triple1)] The bear chases the mouse.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The dog is cold.[(triple5)] The dog is nice.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the dog.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the dog.[(triple10)] @1: The mouse is round.[(((triple10) -> rule3))] The mouse visits the dog.[(((triple7) -> rule1))]