The bald eagle chases the rabbit. The bald eagle is blue. The bald eagle is cold. The bald eagle is kind. The bald eagle is not red. The bald eagle does not like the rabbit. The bald eagle does not visit the rabbit. The rabbit chases the bald eagle. The rabbit is not kind. The rabbit is red. The rabbit likes the bald eagle. The rabbit does not visit the bald eagle. If someone likes the bald eagle then they are blue. If someone likes the bald eagle then the bald eagle is not green. If someone visits the bald eagle and they like the bald eagle then the bald eagle does not visit the rabbit. If someone visits the bald eagle then they like the bald eagle. If someone is blue and they visit the bald eagle then they chase the rabbit. If the bald eagle is not green and the bald eagle does not chase the rabbit then the bald eagle is kind. If someone likes the rabbit and they do not chase the rabbit then they are kind. If the rabbit is kind and the rabbit is not red then the rabbit is not green.
The rabbit is green.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle does not like the rabbit.[(triple6)] The bald eagle does not visit the rabbit.[(triple7)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is not red.[(triple5)] The rabbit chases the bald eagle.[(triple8)] The rabbit does not visit the bald eagle.[(triple12)] The rabbit is not kind.[(triple9)] The rabbit is red.[(triple10)] The rabbit likes the bald eagle.[(triple11)] @1: The bald eagle is not green.[(((triple11) -> rule2))] The rabbit is blue.[(((triple11) -> rule1))]