The cat visits the lion. The lion chases the cat. The mouse chases the cat. If someone chases the cat and they see the lion then they chase the mouse. If the cat visits the mouse and the lion does not chase the cat then the mouse sees the lion. If someone chases the cat then they are big. If someone sees the cat then the cat does not see the mouse. If someone is big then they visit the mouse. If the lion visits the mouse and the lion is young then the lion visits the cat. If someone is big then they see the cat. If someone chases the lion and they are not big then they are green.
The mouse does not see the lion.
@0: The cat visits the lion.[(triple1)] The lion chases the cat.[(triple2)] The mouse chases the cat.[(triple3)] @1: The lion is big.[(((triple2) -> rule3))] The mouse is big.[(((triple3) -> rule3))] @2: The lion sees the cat.[(((((triple2) -> rule3)) -> rule7))] The lion visits the mouse.[(((((triple2) -> rule3)) -> rule5))] The mouse sees the cat.[(((((triple3) -> rule3)) -> rule7))] The mouse visits the mouse.[(((((triple3) -> rule3)) -> rule5))] @3: The cat does not see the mouse.[(((((((triple2) -> rule3)) -> rule7)) -> rule4) OR ((((((triple3) -> rule3)) -> rule7)) -> rule4))]