The bald eagle is kind. The bald eagle is red. The bald eagle likes the lion. The bald eagle likes the rabbit. The bald eagle visits the lion. The bald eagle visits the rabbit. The dog likes the lion. The dog visits the bald eagle. The lion needs the rabbit. The rabbit is kind. The rabbit likes the bald eagle. The rabbit likes the dog. If something visits the lion and it is kind then the lion is red. If something visits the bald eagle then it likes the rabbit. If something likes the bald eagle then it visits the bald eagle. If something is cold and it visits the lion then it needs the rabbit. If something likes the lion then the lion visits the bald eagle. If something is blue and it visits the lion then the lion likes the rabbit. If something is rough and it likes the dog then it visits the dog. If something needs the rabbit and it likes the bald eagle then the rabbit is red.
The rabbit likes the dog.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The dog likes the lion.[(triple7)] The dog visits the bald eagle.[(triple8)] The lion needs the rabbit.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the dog.[(triple12)] @1: The dog likes the rabbit.[(((triple8) -> rule2))] The lion is red.[(((triple5 triple1) -> rule1))] The lion visits the bald eagle.[(((triple3) -> rule5) OR ((triple7) -> rule5))] The rabbit visits the bald eagle.[(((triple11) -> rule3))] @2: The lion likes the rabbit.[(((((triple3) -> rule5)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] The rabbit likes the rabbit.[(((((triple11) -> rule3)) -> rule2))]