The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle is green. The bald eagle is round. The bald eagle is not young. The bald eagle likes the rabbit. The bald eagle does not visit the rabbit. The rabbit eats the bald eagle. The rabbit is kind. The rabbit is not round. The rabbit does not like the bald eagle. The rabbit visits the bald eagle. If something eats the bald eagle and the bald eagle visits the rabbit then it is young. If something visits the bald eagle then it likes the rabbit. If something visits the rabbit then it is not round. If something visits the bald eagle and it is cold then it does not like the bald eagle. If something is kind and it does not eat the bald eagle then it likes the bald eagle. If something visits the bald eagle then it visits the rabbit.
The rabbit is cold.
@0: The bald eagle does not visit the rabbit.[(triple7)] The bald eagle eats the rabbit.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is not young.[(triple5)] The bald eagle is round.[(triple4)] The bald eagle likes the rabbit.[(triple6)] The rabbit does not like the bald eagle.[(triple11)] The rabbit eats the bald eagle.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is not round.[(triple10 OR ((((triple12) -> rule6)) -> rule3))] The rabbit visits the bald eagle.[(triple12)] @1: The rabbit likes the rabbit.[(((triple12) -> rule2))] The rabbit visits the rabbit.[(((triple12) -> rule6))]