The cat visits the dog. The cow is not rough. The dog does not eat the mouse. The dog is kind. The dog visits the cow. The mouse eats the cat. The mouse is round. If the dog eats the mouse then the mouse is rough. If something eats the mouse and the mouse does not eat the cat then the mouse likes the cat. If something likes the mouse then the mouse likes the cat. If the mouse eats the cow and the mouse likes the cow then the mouse likes the dog. If something likes the cat and the cat visits the dog then it eats the dog. If the dog is green and the dog is blue then the dog likes the cat. If something eats the cat then it likes the mouse. If the cow is rough and the cow does not like the mouse then the mouse visits the cat.
The mouse eats the dog.
@0: The cat visits the dog.[(triple1)] The cow is not rough.[(triple2)] The dog does not eat the mouse.[(triple3)] The dog is kind.[(triple4)] The dog visits the cow.[(triple5)] The mouse eats the cat.[(triple6)] The mouse is round.[(triple7)] @1: The mouse likes the mouse.[(((triple6) -> rule7))] @2: The mouse likes the cat.[(((((triple6) -> rule7)) -> rule3))] @3: The mouse eats the dog.[(((((((triple6) -> rule7)) -> rule3) triple1) -> rule5))]