The bald eagle eats the dog. The bald eagle is big. The bald eagle is round. The dog eats the bald eagle. The dog visits the bald eagle. The rabbit eats the dog. The rabbit eats the tiger. The rabbit visits the tiger. The tiger eats the rabbit. The tiger visits the rabbit. If someone visits the rabbit then they are nice. If someone visits the rabbit and the rabbit visits the dog then the rabbit is round. If someone is red then they chase the dog. If someone eats the rabbit and they are nice then the rabbit visits the bald eagle. If someone visits the rabbit and they are round then they eat the tiger. If someone is big then they eat the rabbit. If someone is nice then they are red. If someone chases the rabbit then the rabbit visits the dog.
The tiger does not eat the tiger.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is round.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog visits the bald eagle.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger eats the rabbit.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The bald eagle eats the rabbit.[(((triple2) -> rule6))] The tiger is nice.[(((triple10) -> rule1))] @2: The rabbit visits the bald eagle.[(((triple9 ((triple10) -> rule1)) -> rule4))] The tiger is red.[(((((triple10) -> rule1)) -> rule7))] @3: The tiger chases the dog.[(((((((triple10) -> rule1)) -> rule7)) -> rule3))]