The bald eagle is kind. The bald eagle is round. The lion is kind. The lion is rough. The lion visits the tiger. The rabbit is cold. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The tiger sees the rabbit. The tiger visits the lion. If someone visits the tiger then the tiger is cold. If the lion needs the tiger and the lion needs the bald eagle then the lion is round. If someone visits the lion then the lion needs the bald eagle. If someone needs the bald eagle then they are big. If someone is kind then they visit the lion. If someone needs the bald eagle and the bald eagle sees the rabbit then the rabbit is rough. If someone is round then they visit the rabbit. If the tiger is kind and the tiger needs the bald eagle then the bald eagle sees the lion.
The rabbit needs the lion.
@0: The bald eagle is kind.[(triple1)] The bald eagle is round.[(triple2)] The lion is kind.[(triple3)] The lion is rough.[(triple4)] The lion visits the tiger.[(triple5)] The rabbit is cold.[(triple6)] The rabbit sees the bald eagle.[(triple7)] The rabbit visits the bald eagle.[(triple8)] The tiger sees the rabbit.[(triple9)] The tiger visits the lion.[(triple10)] @1: The bald eagle visits the lion.[(((triple1) -> rule5))] The bald eagle visits the rabbit.[(((triple2) -> rule7))] The lion needs the bald eagle.[(((triple10) -> rule3) OR ((((triple1) -> rule5)) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] The lion visits the lion.[(((triple3) -> rule5))] The tiger is cold.[(((triple5) -> rule1))] @2: The lion is big.[(((((triple10) -> rule3)) -> rule4) OR ((((((triple1) -> rule5)) -> rule3)) -> rule4) OR ((((((triple3) -> rule5)) -> rule3)) -> rule4))]