The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle is nice. The bald eagle sees the tiger. The cat is cold. The cat sees the bald eagle. The lion eats the bald eagle. The lion is kind. The lion visits the cat. The tiger eats the bald eagle. The tiger is kind. The tiger is round. If something eats the cat and it visits the tiger then the tiger eats the bald eagle. If the cat visits the tiger and the cat sees the lion then the cat eats the lion. If something visits the bald eagle then it eats the cat. If something visits the tiger and the tiger is cold then the tiger sees the lion. If something is round then it sees the lion. If something visits the lion and it visits the tiger then the lion sees the cat. If something sees the tiger and it eats the tiger then it visits the tiger. If something sees the cat then it is rough.
The tiger is round.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the tiger.[(triple4)] The cat is cold.[(triple5)] The cat sees the bald eagle.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion is kind.[(triple8)] The lion visits the cat.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is kind.[(triple11)] The tiger is round.[(triple12)] @1: The bald eagle visits the tiger.[(((triple4 triple2) -> rule7))] The tiger sees the lion.[(((triple12) -> rule5))]