The bear does not see the lion. The cow eats the squirrel. The lion is kind. The squirrel eats the lion. If something likes the bear then the bear does not like the lion. If something likes the lion and it eats the lion then it is round. If something is kind then it likes the lion. If the lion is round and the lion is kind then the lion eats the bear. If something is rough then it likes the bear. If something is rough and nice then it eats the cow. If something sees the bear and the bear does not like the squirrel then the bear does not like the cow. If something sees the squirrel and it likes the cow then it is not nice.
The bear sees the squirrel.
@0: The bear does not see the lion.[(triple1)] The cow eats the squirrel.[(triple2)] The lion is kind.[(triple3)] The squirrel eats the lion.[(triple4)] @1: The lion likes the lion.[(((triple3) -> rule3))]