The cat does not chase the dog. The cat chases the mouse. The cat is big. The cat is not rough. The cat is round. The cat likes the mouse. The cat visits the dog. The cat visits the mouse. The dog is not cold. The dog visits the cat. The mouse chases the cat. The mouse chases the dog. The mouse is rough. The mouse likes the cat. The mouse does not like the dog. The mouse visits the cat. If someone visits the mouse then they like the dog.
The dog visits the cat.
@0: The cat chases the mouse.[(triple2)] The cat does not chase the dog.[(triple1)] The cat is big.[(triple3)] The cat is not rough.[(triple4)] The cat is round.[(triple5)] The cat likes the mouse.[(triple6)] The cat visits the dog.[(triple7)] The cat visits the mouse.[(triple8)] The dog is not cold.[(triple9)] The dog visits the cat.[(triple10)] The mouse chases the cat.[(triple11)] The mouse chases the dog.[(triple12)] The mouse does not like the dog.[(triple15)] The mouse is rough.[(triple13)] The mouse likes the cat.[(triple14)] The mouse visits the cat.[(triple16)] @1: The cat likes the dog.[(((triple8) -> rule1))]