The bear is round. The cow is round. The lion chases the cow. The mouse chases the lion. If someone chases the lion and they visit the lion then they chase the cow. If the bear visits the mouse then the mouse chases the cow. If the cow chases the bear then the bear visits the lion. If someone eats the bear then they are green. If someone is green then they visit the lion. If someone is round then they eat the bear.
The mouse visits the bear.
@0: The bear is round.[(triple1)] The cow is round.[(triple2)] The lion chases the cow.[(triple3)] The mouse chases the lion.[(triple4)] @1: The bear eats the bear.[(((triple1) -> rule6))] The cow eats the bear.[(((triple2) -> rule6))] @2: The bear is green.[(((((triple1) -> rule6)) -> rule4))] The cow is green.[(((((triple2) -> rule6)) -> rule4))] @3: The bear visits the lion.[(((((((triple1) -> rule6)) -> rule4)) -> rule5))] The cow visits the lion.[(((((((triple2) -> rule6)) -> rule4)) -> rule5))]