The bear is green. The rabbit chases the tiger. The tiger sees the bear. If something likes the rabbit and it is nice then it sees the rabbit. If something is green then it sees the rabbit. If something is nice then it likes the bear. If the tiger likes the rabbit and the rabbit does not see the tiger then the tiger chases the bear. If something likes the tiger then it sees the bear. If something sees the bear and it likes the tiger then the tiger likes the bear.
The tiger does not like the bear.
@0: The bear is green.[(triple1)] The rabbit chases the tiger.[(triple2)] The tiger sees the bear.[(triple3)] @1: The bear sees the rabbit.[(((triple1) -> rule2))]