The bald eagle is green. The bald eagle is red. The dog eats the rabbit. The dog is nice. The dog is not red. The dog is round. The mouse eats the dog. The mouse likes the bald eagle. The mouse likes the dog. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit is blue. The rabbit is red. The rabbit does not like the bald eagle. The rabbit needs the dog. If someone is round then they eat the bald eagle. If someone likes the bald eagle and they are not round then the bald eagle likes the dog. If someone needs the rabbit and the rabbit is nice then they need the bald eagle. If someone likes the rabbit and they are not nice then the rabbit eats the mouse. If someone likes the rabbit and the rabbit needs the dog then they are not green. If someone likes the rabbit then the rabbit is blue. If the mouse eats the rabbit and the mouse likes the dog then the mouse needs the rabbit. If someone likes the rabbit then the rabbit needs the bald eagle.
The rabbit does not need the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The dog eats the rabbit.[(triple3)] The dog is nice.[(triple4)] The dog is not red.[(triple5)] The dog is round.[(triple6)] The mouse eats the dog.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse likes the dog.[(triple9)] The rabbit does not like the bald eagle.[(triple14)] The rabbit eats the bald eagle.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is blue.[(triple12)] The rabbit is red.[(triple13)] The rabbit needs the dog.[(triple15)] @1: The dog eats the bald eagle.[(((triple6) -> rule1))]