The cat chases the mouse. The cat is rough. The cat visits the cow. The cow is red. The cow likes the dog. The cow visits the mouse. The dog is kind. The dog likes the cat. The dog likes the mouse. The dog visits the cow. The mouse chases the cat. The mouse chases the cow. The mouse chases the dog. The mouse is rough. The mouse likes the cat. The mouse likes the dog. If the cow likes the cat then the cat chases the dog. If the cat chases the cow and the cow is rough then the cat visits the cow. If someone is kind and they visit the cow then they chase the dog. If someone likes the dog and the dog likes the cat then they are rough. If someone is rough then they like the cat. If someone chases the cat then the cat chases the mouse.
The dog is not rough.
@0: The cat chases the mouse.[(triple1 OR ((triple11) -> rule6))] The cat is rough.[(triple2)] The cat visits the cow.[(triple3)] The cow is red.[(triple4)] The cow likes the dog.[(triple5)] The cow visits the mouse.[(triple6)] The dog is kind.[(triple7)] The dog likes the cat.[(triple8)] The dog likes the mouse.[(triple9)] The dog visits the cow.[(triple10)] The mouse chases the cat.[(triple11)] The mouse chases the cow.[(triple12)] The mouse chases the dog.[(triple13)] The mouse is rough.[(triple14 OR ((triple16 triple8) -> rule4))] The mouse likes the cat.[(triple15 OR ((triple14) -> rule5) OR ((((triple16 triple8) -> rule4)) -> rule5))] The mouse likes the dog.[(triple16)] @1: The cat likes the cat.[(((triple2) -> rule5))] The cow is rough.[(((triple5 triple8) -> rule4))] The dog chases the dog.[(((triple7 triple10) -> rule3))] @2: The cow likes the cat.[(((((triple5 triple8) -> rule4)) -> rule5))] @3: The cat chases the dog.[(((((((triple5 triple8) -> rule4)) -> rule5)) -> rule1))]