The bear chases the rabbit. The bear eats the rabbit. The bear is blue. The bear is green. The bear is red. The bear visits the rabbit. The rabbit eats the bear. The rabbit is green. The rabbit is red. The rabbit visits the bear. If the rabbit chases the bear and the bear is blue then the rabbit visits the bear. If someone is green and they visit the rabbit then they chase the bear.
The rabbit does not chase the bear.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is blue.[(triple3)] The bear is green.[(triple4)] The bear is red.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is green.[(triple8)] The rabbit is red.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bear chases the bear.[(((triple4 triple6) -> rule2))]