The bear visits the mouse. The mouse visits the bear. If someone likes the bear then they do not visit the bear. If someone likes the mouse then the mouse does not see the bear. If the mouse is blue and the mouse visits the bear then the bear likes the mouse. If someone visits the bear then they are blue. If someone is cold and they do not visit the bear then they visit the mouse. If someone is round then they do not visit the mouse. If someone visits the mouse and the mouse is nice then they do not see the bear. If someone likes the mouse and the mouse is not nice then they see the bear.
The bear does not like the mouse.
@0: The bear visits the mouse.[(triple1)] The mouse visits the bear.[(triple2)] @1: The mouse is blue.[(((triple2) -> rule4))] @2: The bear likes the mouse.[(((((triple2) -> rule4) triple2) -> rule3))] @3: The mouse does not see the bear.[(((((((triple2) -> rule4) triple2) -> rule3)) -> rule2))]