The cat chases the mouse. The cat eats the dog. The cat eats the mouse. The cat visits the dog. The cat visits the mouse. The dog chases the cat. The dog eats the cat. The dog eats the mouse. The dog is kind. The dog is nice. The dog visits the cat. The mouse chases the cat. The mouse eats the cat. The mouse visits the cat. The mouse visits the dog. If something chases the cat and it is nice then the cat eats the mouse.
The dog is not blue.
@0: The cat chases the mouse.[(triple1)] The cat eats the dog.[(triple2)] The cat eats the mouse.[(triple3 OR ((triple6 triple10) -> rule1))] The cat visits the dog.[(triple4)] The cat visits the mouse.[(triple5)] The dog chases the cat.[(triple6)] The dog eats the cat.[(triple7)] The dog eats the mouse.[(triple8)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog visits the cat.[(triple11)] The mouse chases the cat.[(triple12)] The mouse eats the cat.[(triple13)] The mouse visits the cat.[(triple14)] The mouse visits the dog.[(triple15)]