The bear sees the rabbit. The cat does not see the dog. The dog sees the cat. The rabbit eats the bear. If something eats the dog and the dog does not chase the cat then the cat chases the bear. If the dog chases the cat and the dog is not cold then the cat sees the rabbit. If something sees the cat then the cat is big. If something eats the dog then it eats the cat. If something sees the rabbit and it chases the cat then the cat chases the rabbit. If something is green and not big then it does not see the rabbit.
The rabbit does not eat the bear.
@0: The bear sees the rabbit.[(triple1)] The cat does not see the dog.[(triple2)] The dog sees the cat.[(triple3)] The rabbit eats the bear.[(triple4)] @1: The cat is big.[(((triple3) -> rule3))]