The bear visits the dog. The cat visits the mouse. The dog is red. The dog likes the mouse. The dog does not visit the cat. The mouse chases the cat. The mouse chases the dog. If someone likes the mouse then they chase the mouse. If someone visits the cat then the cat does not visit the bear. If the bear likes the mouse and the mouse likes the dog then the dog chases the bear. If someone visits the dog and they do not visit the cat then they are kind. If someone likes the mouse then they visit the dog. If someone visits the cat then the cat is red.
The dog is kind.
@0: The bear visits the dog.[(triple1)] The cat visits the mouse.[(triple2)] The dog does not visit the cat.[(triple5)] The dog is red.[(triple3)] The dog likes the mouse.[(triple4)] The mouse chases the cat.[(triple6)] The mouse chases the dog.[(triple7)] @1: The dog chases the mouse.[(((triple4) -> rule1))] The dog visits the dog.[(((triple4) -> rule5))] @2: The dog is kind.[(((((triple4) -> rule5) triple5) -> rule4))]