The bald eagle needs the dog. The bald eagle needs the rabbit. The dog is big. The dog is young. The dog needs the bald eagle. The dog needs the rabbit. The dog visits the rabbit. The rabbit is kind. The rabbit is red. The rabbit likes the bald eagle. If something likes the dog and it likes the bald eagle then it visits the rabbit. If something needs the rabbit then the rabbit likes the dog.
The rabbit is not young.
@0: The bald eagle needs the dog.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is young.[(triple4)] The dog needs the bald eagle.[(triple5)] The dog needs the rabbit.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is red.[(triple9)] The rabbit likes the bald eagle.[(triple10)] @1: The rabbit likes the dog.[(((triple2) -> rule2) OR ((triple6) -> rule2))] @2: The rabbit visits the rabbit.[(((((triple2) -> rule2) triple10) -> rule1) OR ((((triple6) -> rule2) triple10) -> rule1))]