The cow eats the squirrel. The cow is kind. The cow needs the squirrel. The cow visits the squirrel. The lion eats the cow. The lion is rough. The lion needs the squirrel. The lion visits the cow. The squirrel eats the lion. The squirrel is rough. The squirrel is young. The tiger is round. The tiger needs the squirrel. The tiger visits the lion. The tiger visits the squirrel. If something is young then it is kind.
The lion is not kind.
@0: The cow eats the squirrel.[(triple1)] The cow is kind.[(triple2)] The cow needs the squirrel.[(triple3)] The cow visits the squirrel.[(triple4)] The lion eats the cow.[(triple5)] The lion is rough.[(triple6)] The lion needs the squirrel.[(triple7)] The lion visits the cow.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is rough.[(triple10)] The squirrel is young.[(triple11)] The tiger is round.[(triple12)] The tiger needs the squirrel.[(triple13)] The tiger visits the lion.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The squirrel is kind.[(((triple11) -> rule1))]