The bear chases the dog. The bear eats the cat. The bear eats the mouse. The bear visits the cat. The bear visits the dog. The cat chases the dog. The cat visits the bear. The cat visits the mouse. The dog chases the mouse. The dog eats the cat. The mouse chases the dog. The mouse eats the cat. The mouse is big. The mouse is red. The mouse is round. The mouse visits the cat. If the dog chases the mouse then the mouse eats the bear. If something chases the bear then the bear visits the dog.
The cat eats the dog.
@0: The bear chases the dog.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the mouse.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the dog.[(triple5)] The cat chases the dog.[(triple6)] The cat visits the bear.[(triple7)] The cat visits the mouse.[(triple8)] The dog chases the mouse.[(triple9)] The dog eats the cat.[(triple10)] The mouse chases the dog.[(triple11)] The mouse eats the cat.[(triple12)] The mouse is big.[(triple13)] The mouse is red.[(triple14)] The mouse is round.[(triple15)] The mouse visits the cat.[(triple16)] @1: The mouse eats the bear.[(((triple9) -> rule1))]