The bear chases the cow. The bear chases the lion. The bear chases the squirrel. The bear is round. The bear visits the cow. The bear visits the lion. The bear visits the squirrel. The cow chases the squirrel. The cow needs the squirrel. The cow visits the lion. The lion is kind. The lion visits the bear. The squirrel chases the lion. The squirrel needs the bear. If something visits the lion then it is kind. All kind things are cold. If something is cold and it visits the squirrel then the squirrel visits the lion. If something chases the cow and the cow is rough then it is young. If something chases the cow then the cow is cold.
The squirrel chases the lion.
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2)] The bear chases the squirrel.[(triple3)] The bear is round.[(triple4)] The bear visits the cow.[(triple5)] The bear visits the lion.[(triple6)] The bear visits the squirrel.[(triple7)] The cow chases the squirrel.[(triple8)] The cow needs the squirrel.[(triple9)] The cow visits the lion.[(triple10)] The lion is kind.[(triple11)] The lion visits the bear.[(triple12)] The squirrel chases the lion.[(triple13)] The squirrel needs the bear.[(triple14)] @1: The bear is kind.[(((triple6) -> rule1))] The cow is cold.[(((triple1) -> rule5) OR ((((triple10) -> rule1)) -> rule2))] The cow is kind.[(((triple10) -> rule1))] The lion is cold.[(((triple11) -> rule2))] @2: The bear is cold.[(((((triple6) -> rule1)) -> rule2))] @3: The squirrel visits the lion.[(((((((triple6) -> rule1)) -> rule2) triple7) -> rule3))] @4: The squirrel is kind.[(((((((((triple6) -> rule1)) -> rule2) triple7) -> rule3)) -> rule1))] @5: The squirrel is cold.[(((((((((((triple6) -> rule1)) -> rule2) triple7) -> rule3)) -> rule1)) -> rule2))]