The bald eagle chases the tiger. The bald eagle is big. The bald eagle is rough. The bald eagle visits the tiger. The tiger chases the bald eagle. The tiger is big. The tiger is blue. The tiger is kind. The tiger likes the bald eagle. The tiger visits the bald eagle. If someone chases the tiger then the tiger chases the bald eagle. If someone is rough and they chase the bald eagle then the bald eagle likes the tiger. If someone likes the tiger then they chase the tiger. If someone visits the tiger then the tiger likes the bald eagle. If someone chases the bald eagle and the bald eagle visits the tiger then the tiger chases the bald eagle. If someone is big and they like the bald eagle then the bald eagle is rough. If someone likes the tiger then they chase the tiger. If someone likes the tiger then they are blue.
The tiger is rough.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple4) -> rule4)) -> rule6))] The bald eagle visits the tiger.[(triple4)] The tiger chases the bald eagle.[(triple5 OR ((triple1) -> rule1))] The tiger is big.[(triple6)] The tiger is blue.[(triple7)] The tiger is kind.[(triple8)] The tiger likes the bald eagle.[(triple9 OR ((triple4) -> rule4))] The tiger visits the bald eagle.[(triple10)]