The cat chases the dog. The dog likes the cat. The squirrel chases the cat. If something sees the cat then it is nice. If something chases the squirrel then it is not blue. If the dog is blue and the dog chases the cat then the dog chases the squirrel. If something is rough then it sees the cat. If the cat sees the dog and the cat does not chase the dog then the cat is blue. If something chases the dog then it does not see the dog.
The squirrel does not see the cat.
@0: The cat chases the dog.[(triple1)] The dog likes the cat.[(triple2)] The squirrel chases the cat.[(triple3)] @1: The cat does not see the dog.[(((triple1) -> rule6))]