The bear likes the squirrel. The cow visits the lion. The lion is big. The squirrel visits the lion. If someone likes the squirrel then they do not chase the cow. If someone chases the bear then the bear is big. If someone is big then they chase the bear.
The bear does not chase the cow.
@0: The bear likes the squirrel.[(triple1)] The cow visits the lion.[(triple2)] The lion is big.[(triple3)] The squirrel visits the lion.[(triple4)] @1: The bear does not chase the cow.[(((triple1) -> rule1))] The lion chases the bear.[(((triple3) -> rule3))] @2: The bear is big.[(((((triple3) -> rule3)) -> rule2))] @3: The bear chases the bear.[(((((((triple3) -> rule3)) -> rule2)) -> rule3))]