The bear does not see the cat. The cat chases the bear. The lion is rough. If something is rough then it visits the cat. If the cat chases the lion and the lion does not see the cat then the cat visits the bear. If the lion chases the bear then the lion is rough. If something sees the cat then it is not rough. If something is rough and young then it is round. If the lion chases the cat and the lion chases the bear then the lion is nice. If something is rough and it does not visit the bear then it visits the lion. If something chases the bear and it does not visit the bear then it is green.
The cat sees the cat.
@0: The bear does not see the cat.[(triple1)] The cat chases the bear.[(triple2)] The lion is rough.[(triple3)] @1: The lion visits the cat.[(((triple3) -> rule1))]