The bear sees the squirrel. The cat chases the mouse. The mouse sees the bear. The squirrel is big. Round things are green. If something sees the squirrel and it visits the squirrel then it is round. If something sees the squirrel and it sees the cat then it visits the cat. If the squirrel chases the bear and the squirrel chases the mouse then the bear visits the cat. If something visits the mouse and the mouse is red then it is big. If something sees the bear then the bear visits the squirrel. If the mouse is big and the mouse visits the cat then the cat sees the mouse. If something is big and it chases the bear then it visits the squirrel.
The bear does not visit the squirrel.
@0: The bear sees the squirrel.[(triple1)] The cat chases the mouse.[(triple2)] The mouse sees the bear.[(triple3)] The squirrel is big.[(triple4)] @1: The bear visits the squirrel.[(((triple3) -> rule6))] @2: The bear is round.[(((triple1 ((triple3) -> rule6)) -> rule2))] @3: The bear is green.[(((((triple1 ((triple3) -> rule6)) -> rule2)) -> rule1))]