The bear chases the cow. The bear chases the lion. The bear chases the squirrel. The bear is cold. The bear visits the cow. The cow is green. The cow visits the bear. The cow visits the squirrel. The lion is cold. The lion is young. The squirrel chases the bear. The squirrel chases the cow. The squirrel chases the lion. The squirrel is blue. The squirrel is cold. The squirrel visits the cow. If the squirrel chases the lion and the lion visits the squirrel then the lion needs the squirrel. If someone is young then they visit the squirrel. If someone needs the squirrel then the squirrel needs the lion.
The lion needs the squirrel.
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2)] The bear chases the squirrel.[(triple3)] The bear is cold.[(triple4)] The bear visits the cow.[(triple5)] The cow is green.[(triple6)] The cow visits the bear.[(triple7)] The cow visits the squirrel.[(triple8)] The lion is cold.[(triple9)] The lion is young.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel chases the cow.[(triple12)] The squirrel chases the lion.[(triple13)] The squirrel is blue.[(triple14)] The squirrel is cold.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The lion visits the squirrel.[(((triple10) -> rule2))] @2: The lion needs the squirrel.[(((triple13 ((triple10) -> rule2)) -> rule1))] @3: The squirrel needs the lion.[(((((triple13 ((triple10) -> rule2)) -> rule1)) -> rule3))]