The cat chases the dog. The cat chases the mouse. The cat eats the dog. The cat is kind. The cat visits the dog. The cat visits the mouse. The dog eats the mouse. The dog is young. The mouse chases the cat. The mouse chases the dog. The mouse eats the cat. The mouse eats the dog. The mouse is blue. The mouse is young. The mouse visits the cat. The mouse visits the dog. If someone visits the cat and the cat is big then they visit the mouse. If someone visits the dog and they chase the mouse then the mouse is blue. If the dog eats the cat and the dog visits the cat then the dog chases the mouse.
The mouse is rough.
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat eats the dog.[(triple3)] The cat is kind.[(triple4)] The cat visits the dog.[(triple5)] The cat visits the mouse.[(triple6)] The dog eats the mouse.[(triple7)] The dog is young.[(triple8)] The mouse chases the cat.[(triple9)] The mouse chases the dog.[(triple10)] The mouse eats the cat.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is blue.[(triple13 OR ((triple5 triple2) -> rule2))] The mouse is young.[(triple14)] The mouse visits the cat.[(triple15)] The mouse visits the dog.[(triple16)]