The bear visits the dog. The cow is big. The cow sees the bear. The cow does not see the dog. The dog sees the bear. The mouse is big. The mouse sees the cow. If something sees the cow then the cow visits the bear. If something visits the bear then it does not see the mouse. If something sees the mouse then the mouse visits the bear. If something visits the mouse then it does not like the cow. If something visits the dog then the dog sees the mouse. If the mouse likes the cow then the cow does not like the mouse.
The bear is not cold.
@0: The bear visits the dog.[(triple1)] The cow does not see the dog.[(triple4)] The cow is big.[(triple2)] The cow sees the bear.[(triple3)] The dog sees the bear.[(triple5)] The mouse is big.[(triple6)] The mouse sees the cow.[(triple7)] @1: The cow visits the bear.[(((triple7) -> rule1))] The dog sees the mouse.[(((triple1) -> rule5))] @2: The cow does not see the mouse.[(((((triple7) -> rule1)) -> rule2))] The mouse visits the bear.[(((((triple1) -> rule5)) -> rule3))] @3: The mouse does not see the mouse.[(((((((triple1) -> rule5)) -> rule3)) -> rule2))]