The bald eagle is big. The bald eagle is cold. The bald eagle is rough. The bald eagle visits the dog. The dog is kind. The dog sees the lion. The dog visits the bald eagle. The lion is big. The lion is cold. The lion is kind. The lion needs the bald eagle. The lion needs the dog. The lion sees the dog. The lion visits the bald eagle. The lion visits the dog. If something needs the bald eagle then it needs the lion. If something is round then it visits the bald eagle. If something needs the lion and the lion visits the bald eagle then the lion is round.
The dog is kind.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog is kind.[(triple5)] The dog sees the lion.[(triple6)] The dog visits the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion needs the dog.[(triple12)] The lion sees the dog.[(triple13)] The lion visits the bald eagle.[(triple14)] The lion visits the dog.[(triple15)] @1: The lion needs the lion.[(((triple11) -> rule1))] @2: The lion is round.[(((((triple11) -> rule1) triple14) -> rule3))]