The bald eagle is rough. The bald eagle likes the cow. The bald eagle visits the tiger. The cow is big. The cow is kind. The cow sees the bald eagle. The cow sees the tiger. The cow visits the bald eagle. The tiger is big. The tiger is rough. The tiger is round. The tiger likes the bald eagle. The tiger likes the cow. The tiger visits the bald eagle. The tiger visits the cow. If someone visits the bald eagle and the bald eagle sees the tiger then the tiger visits the bald eagle. If someone is rough and they visit the tiger then they are round. If the bald eagle visits the cow then the cow visits the tiger. If the cow sees the tiger then the cow is round. If someone likes the cow and they are round then they see the bald eagle. If someone sees the tiger then the tiger visits the bald eagle. If someone sees the bald eagle and the bald eagle sees the tiger then they visit the tiger. If someone visits the tiger and the tiger sees the bald eagle then the bald eagle sees the cow.
The cow is round.
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cow is big.[(triple4)] The cow is kind.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow sees the tiger.[(triple7)] The cow visits the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the cow.[(triple13)] The tiger visits the bald eagle.[(triple14 OR ((triple7) -> rule6))] The tiger visits the cow.[(triple15)] @1: The bald eagle is round.[(((triple1 triple3) -> rule2))] The cow is round.[(((triple7) -> rule4))] The tiger sees the bald eagle.[(((triple13 triple11) -> rule5))] @2: The bald eagle sees the bald eagle.[(((triple2 ((triple1 triple3) -> rule2)) -> rule5))] The bald eagle sees the cow.[(((triple3 ((triple13 triple11) -> rule5)) -> rule8))]