The bald eagle is young. The bald eagle likes the rabbit. The cat chases the bald eagle. The cat is blue. The cat is not young. The cat likes the rabbit. The cat sees the bald eagle. The rabbit is not green. The rabbit likes the bald eagle. The rabbit sees the cat. If the cat sees the rabbit and the cat does not chase the rabbit then the rabbit does not like the bald eagle. If something is green and it does not chase the bald eagle then the bald eagle does not chase the rabbit. If the rabbit does not chase the cat then the cat is green. If something is blue and green then it likes the rabbit. If the bald eagle is nice then the bald eagle is blue. If the cat chases the bald eagle then the cat is not young. If something is young then it does not see the cat. If the cat is green and the cat does not see the rabbit then the rabbit is young.
The bald eagle likes the bald eagle.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat is blue.[(triple4)] The cat is not young.[(triple5 OR ((triple3) -> rule6))] The cat likes the rabbit.[(triple6)] The cat sees the bald eagle.[(triple7)] The rabbit is not green.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The bald eagle does not see the cat.[(((triple1) -> rule7))]