The bald eagle chases the lion. The bald eagle is cold. The bald eagle is kind. The bald eagle is round. The bald eagle needs the lion. The lion chases the bald eagle. The lion is cold. The lion sees the bald eagle. The tiger chases the bald eagle. The tiger is green. The tiger is kind. The tiger is round. If something needs the lion then it sees the lion. If the tiger is kind then the tiger needs the bald eagle. If the lion sees the tiger and the lion chases the tiger then the tiger chases the lion. If something sees the lion and the lion sees the tiger then the tiger is green. If something is round and kind then it needs the tiger. If something needs the tiger and the tiger sees the lion then it is kind.
The bald eagle is not cold.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle needs the lion.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion is cold.[(triple7)] The lion sees the bald eagle.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is round.[(triple12)] @1: The bald eagle needs the tiger.[(((triple4 triple3) -> rule5))] The bald eagle sees the lion.[(((triple5) -> rule1))] The tiger needs the bald eagle.[(((triple11) -> rule2))] The tiger needs the tiger.[(((triple12 triple11) -> rule5))]