The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is blue. The bald eagle visits the tiger. The tiger does not chase the bald eagle. The tiger eats the bald eagle. The tiger is big. The tiger is cold. The tiger is rough. The tiger visits the bald eagle. If someone visits the bald eagle then they are big. If someone visits the bald eagle and they do not eat the bald eagle then the bald eagle is big. If someone eats the tiger and the tiger visits the bald eagle then the tiger is blue. If the bald eagle visits the tiger and the tiger is not green then the bald eagle is blue. If the bald eagle visits the tiger and the tiger does not chase the bald eagle then the bald eagle is cold. If the bald eagle eats the tiger then the bald eagle chases the tiger. If someone is rough and they visit the tiger then the tiger visits the bald eagle. If someone chases the tiger and they do not eat the tiger then the tiger is rough.
The tiger is rough.
@0: The bald eagle chases the tiger.[(triple1 OR ((triple2) -> rule6))] The bald eagle eats the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle visits the tiger.[(triple4)] The tiger does not chase the bald eagle.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger is big.[(triple7 OR ((triple10) -> rule1))] The tiger is cold.[(triple8)] The tiger is rough.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle is cold.[(((triple4 triple5) -> rule5))] The tiger is blue.[(((triple2 triple10) -> rule3))]