The cow sees the lion. The cow sees the squirrel. The lion is kind. The squirrel eats the cow. The squirrel is kind. The squirrel is rough. The squirrel likes the lion. If the cow sees the lion then the lion is rough.
The lion is rough.
@0: The cow sees the lion.[(triple1)] The cow sees the squirrel.[(triple2)] The lion is kind.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the lion.[(triple7)] @1: The lion is rough.[(((triple1) -> rule1))]