The bald eagle chases the rabbit. The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle visits the lion. The dog is red. The lion chases the bald eagle. The lion chases the dog. The lion is red. The rabbit eats the dog. The rabbit is red. If something is green and it chases the rabbit then the rabbit is green. If something chases the dog and the dog chases the lion then the lion chases the rabbit. If the bald eagle is red then the bald eagle visits the rabbit. If something is kind and it chases the lion then the lion is big. If something is green and big then it visits the rabbit. If the dog visits the rabbit and the dog eats the rabbit then the dog is young. If something eats the dog then the dog eats the rabbit. If something visits the lion then it eats the lion.
The dog visits the dog.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the lion.[(triple2 OR ((triple4) -> rule8))] The bald eagle eats the rabbit.[(triple3)] The bald eagle visits the lion.[(triple4)] The dog is red.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion chases the dog.[(triple7)] The lion is red.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is red.[(triple10)] @1: The dog eats the rabbit.[(((triple9) -> rule7))]