The cat does not chase the mouse. The cat is red. The cat sees the cow. The cat sees the dog. The cat sees the mouse. The cow chases the cat. The cow chases the mouse. The cow is green. The cow does not visit the dog. The dog sees the cow. The mouse chases the cat. The mouse is red. The mouse is not rough. The mouse sees the cat. The mouse visits the cow. If something is big and it visits the mouse then the mouse is red. If something visits the dog and it is cold then the dog does not chase the cow. If the dog visits the mouse then the dog sees the cow. If something visits the cat and it visits the mouse then the cat visits the mouse. If something visits the dog then it chases the cat. If something chases the cat and it does not chase the mouse then the mouse visits the cat. If something sees the cat then the cat visits the dog. If something is rough then it is green.
The mouse sees the mouse.
@0: The cat does not chase the mouse.[(triple1)] The cat is red.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the dog.[(triple4)] The cat sees the mouse.[(triple5)] The cow chases the cat.[(triple6)] The cow chases the mouse.[(triple7)] The cow does not visit the dog.[(triple9)] The cow is green.[(triple8)] The dog sees the cow.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is not rough.[(triple13)] The mouse is red.[(triple12)] The mouse sees the cat.[(triple14)] The mouse visits the cow.[(triple15)] @1: The cat visits the dog.[(((triple14) -> rule7))] @2: The cat chases the cat.[(((((triple14) -> rule7)) -> rule5))] @3: The mouse visits the cat.[(((((((triple14) -> rule7)) -> rule5) triple1) -> rule6))]