The bear sees the squirrel. The bear visits the squirrel. The lion is green. The lion sees the mouse. The mouse visits the squirrel. The squirrel is green. The squirrel visits the bear. If something is nice and it chases the lion then it sees the lion. If something is round then it sees the lion. If something is nice then it chases the mouse. If something visits the squirrel and it is red then the squirrel chases the lion. If the bear visits the mouse then the mouse chases the squirrel. If something sees the lion then the lion chases the bear. All green things are nice. If something chases the mouse then it chases the lion. If something chases the lion then the lion visits the bear.
The lion does not chase the bear.
@0: The bear sees the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The lion is green.[(triple3)] The lion sees the mouse.[(triple4)] The mouse visits the squirrel.[(triple5)] The squirrel is green.[(triple6)] The squirrel visits the bear.[(triple7)] @1: The lion is nice.[(((triple3) -> rule7))] The squirrel is nice.[(((triple6) -> rule7))] @2: The lion chases the mouse.[(((((triple3) -> rule7)) -> rule3))] The squirrel chases the mouse.[(((((triple6) -> rule7)) -> rule3))] @3: The lion chases the lion.[(((((((triple3) -> rule7)) -> rule3)) -> rule8))] The squirrel chases the lion.[(((((((triple6) -> rule7)) -> rule3)) -> rule8))] @4: The lion sees the lion.[(((((triple3) -> rule7) ((((((triple3) -> rule7)) -> rule3)) -> rule8)) -> rule1))] The lion visits the bear.[(((((((((triple3) -> rule7)) -> rule3)) -> rule8)) -> rule9) OR ((((((((triple6) -> rule7)) -> rule3)) -> rule8)) -> rule9))] The squirrel sees the lion.[(((((triple6) -> rule7) ((((((triple6) -> rule7)) -> rule3)) -> rule8)) -> rule1))] @5: The lion chases the bear.[(((((((triple3) -> rule7) ((((((triple3) -> rule7)) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple6) -> rule7) ((((((triple6) -> rule7)) -> rule3)) -> rule8)) -> rule1)) -> rule6))]