The bald eagle is rough. The dog eats the bald eagle. The rabbit is red. If something eats the dog then it is red. If something sees the dog and the dog is rough then it is green. If something is blue and it chases the rabbit then it sees the rabbit. If something eats the rabbit and it is rough then the rabbit sees the bald eagle. If the bald eagle eats the dog and the dog eats the bald eagle then the bald eagle is rough. If the rabbit is red then the rabbit is green.
The rabbit is not red.
@0: The bald eagle is rough.[(triple1)] The dog eats the bald eagle.[(triple2)] The rabbit is red.[(triple3)] @1: The rabbit is green.[(((triple3) -> rule6))]