The bald eagle chases the tiger. The bald eagle is cold. The bald eagle is rough. The dog chases the rabbit. The dog eats the rabbit. The rabbit chases the dog. The rabbit is round. The tiger chases the dog. The tiger eats the rabbit. The tiger is cold. If someone visits the dog and the dog eats the bald eagle then the bald eagle is green. If someone is red then they chase the rabbit. If someone eats the dog then they eat the rabbit. If someone chases the rabbit and the rabbit is green then they are green. If someone is green then they eat the dog. If someone visits the bald eagle and they are round then the bald eagle is green. If someone visits the rabbit and they eat the bald eagle then they eat the dog. If someone chases the dog then they visit the bald eagle. If someone is rough and they eat the rabbit then they eat the tiger.
The dog visits the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The dog chases the rabbit.[(triple4)] The dog eats the rabbit.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is round.[(triple7)] The tiger chases the dog.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger is cold.[(triple10)] @1: The rabbit visits the bald eagle.[(((triple6) -> rule8))] The tiger visits the bald eagle.[(((triple8) -> rule8))] @2: The bald eagle is green.[(((((triple6) -> rule8) triple7) -> rule6))] @3: The bald eagle eats the dog.[(((((((triple6) -> rule8) triple7) -> rule6)) -> rule5))] @4: The bald eagle eats the rabbit.[(((((((((triple6) -> rule8) triple7) -> rule6)) -> rule5)) -> rule3))] @5: The bald eagle eats the tiger.[(((triple3 ((((((((triple6) -> rule8) triple7) -> rule6)) -> rule5)) -> rule3)) -> rule9))]