The bald eagle chases the rabbit. The bald eagle visits the lion. The bald eagle visits the tiger. The lion is round. The rabbit chases the lion. The rabbit is round. The tiger chases the bald eagle. The tiger is nice. The tiger likes the lion. The tiger likes the rabbit. If the tiger visits the lion then the tiger chases the lion. If someone visits the bald eagle and the bald eagle visits the rabbit then the bald eagle likes the tiger. If someone likes the lion then they visit the bald eagle. Rough people are big. If someone likes the lion and they visit the bald eagle then the lion is rough. If someone is red and they chase the rabbit then the rabbit visits the lion. If someone chases the bald eagle and they chase the lion then the lion chases the rabbit. If someone likes the bald eagle and the bald eagle is round then they chase the tiger.
The tiger visits the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle visits the lion.[(triple2)] The bald eagle visits the tiger.[(triple3)] The lion is round.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is round.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger is nice.[(triple8)] The tiger likes the lion.[(triple9)] The tiger likes the rabbit.[(triple10)] @1: The tiger visits the bald eagle.[(((triple9) -> rule3))] @2: The lion is rough.[(((triple9 ((triple9) -> rule3)) -> rule5))] @3: The lion is big.[(((((triple9 ((triple9) -> rule3)) -> rule5)) -> rule4))]