The bald eagle likes the lion. The lion eats the bald eagle. The rabbit likes the lion. The tiger is big. If the tiger eats the lion then the tiger likes the lion. If someone sees the tiger and they eat the bald eagle then the tiger sees the bald eagle. If someone likes the tiger then the tiger is round. If someone sees the bald eagle then the bald eagle eats the lion. If someone eats the bald eagle then they eat the lion. If someone eats the bald eagle then they see the tiger. If someone likes the rabbit and the rabbit is red then they like the tiger. If someone eats the rabbit and they see the tiger then they eat the lion.
The bald eagle eats the lion.
@0: The bald eagle likes the lion.[(triple1)] The lion eats the bald eagle.[(triple2)] The rabbit likes the lion.[(triple3)] The tiger is big.[(triple4)] @1: The lion eats the lion.[(((triple2) -> rule5))] The lion sees the tiger.[(((triple2) -> rule6))] @2: The tiger sees the bald eagle.[(((((triple2) -> rule6) triple2) -> rule2))] @3: The bald eagle eats the lion.[(((((((triple2) -> rule6) triple2) -> rule2)) -> rule4))]