The bald eagle needs the dog. The dog is round. The rabbit does not need the dog. The tiger is nice. If something is nice then it does not like the dog. If something is blue then it does not need the rabbit. If something is cold and it does not visit the rabbit then the rabbit does not like the bald eagle. If something needs the rabbit and the rabbit likes the bald eagle then the rabbit is not blue. If something needs the tiger then the tiger likes the bald eagle. If the dog is green and the dog visits the bald eagle then the bald eagle needs the rabbit. If the dog visits the bald eagle and the dog is not round then the bald eagle is not blue. If the tiger does not need the rabbit then the rabbit visits the bald eagle.
The bald eagle needs the rabbit.
@0: The bald eagle needs the dog.[(triple1)] The dog is round.[(triple2)] The rabbit does not need the dog.[(triple3)] The tiger is nice.[(triple4)] @1: The tiger does not like the dog.[(((triple4) -> rule1))]