The bald eagle does not chase the rabbit. The bald eagle is kind. The bald eagle likes the cat. The bald eagle does not visit the cat. The bald eagle visits the rabbit. The cat is not kind. The cat visits the bald eagle. The dog chases the rabbit. The dog visits the bald eagle. The rabbit is cold. If the cat does not chase the dog then the cat is not blue. If the rabbit likes the cat and the cat does not chase the dog then the cat is green. If someone likes the bald eagle then the bald eagle is not green. If the cat is blue and the cat visits the bald eagle then the cat does not like the dog. If someone visits the rabbit then the rabbit visits the cat. If someone visits the rabbit and they like the rabbit then they do not like the bald eagle. If someone visits the bald eagle and the bald eagle does not visit the rabbit then the rabbit visits the dog. If someone visits the cat then the cat likes the bald eagle.
The bald eagle is not green.
@0: The bald eagle does not chase the rabbit.[(triple1)] The bald eagle does not visit the cat.[(triple4)] The bald eagle is kind.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle visits the rabbit.[(triple5)] The cat is not kind.[(triple6)] The cat visits the bald eagle.[(triple7)] The dog chases the rabbit.[(triple8)] The dog visits the bald eagle.[(triple9)] The rabbit is cold.[(triple10)] @1: The rabbit visits the cat.[(((triple5) -> rule5))] @2: The cat likes the bald eagle.[(((((triple5) -> rule5)) -> rule8))] @3: The bald eagle is not green.[(((((((triple5) -> rule5)) -> rule8)) -> rule3))]