The bear visits the mouse. The cow is young. The cow likes the bear. The cow visits the bear. The cow visits the dog. The dog visits the cow. The mouse eats the cow. The mouse eats the dog. The mouse is big. The mouse likes the cow. The mouse visits the cow. The mouse visits the dog. If something is big and it eats the cow then the cow is young. If the mouse likes the bear and the bear is big then the mouse visits the cow. If something eats the mouse then the mouse is young. If something likes the dog then the dog likes the mouse. If something likes the mouse then it eats the cow. If something visits the dog and the dog visits the bear then it likes the mouse. If the dog eats the cow then the dog visits the mouse. If something visits the mouse then it likes the dog. If something eats the dog then it is cold.
The dog likes the mouse.
@0: The bear visits the mouse.[(triple1)] The cow is young.[(triple2 OR ((triple9 triple7) -> rule1))] The cow likes the bear.[(triple3)] The cow visits the bear.[(triple4)] The cow visits the dog.[(triple5)] The dog visits the cow.[(triple6)] The mouse eats the cow.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is big.[(triple9)] The mouse likes the cow.[(triple10)] The mouse visits the cow.[(triple11)] The mouse visits the dog.[(triple12)] @1: The bear likes the dog.[(((triple1) -> rule8))] The mouse is cold.[(((triple8) -> rule9))] @2: The dog likes the mouse.[(((((triple1) -> rule8)) -> rule4))] @3: The dog eats the cow.[(((((((triple1) -> rule8)) -> rule4)) -> rule5))] @4: The dog visits the mouse.[(((((((((triple1) -> rule8)) -> rule4)) -> rule5)) -> rule7))] @5: The dog likes the dog.[(((((((((((triple1) -> rule8)) -> rule4)) -> rule5)) -> rule7)) -> rule8))]