The bald eagle is green. The bald eagle is round. The bald eagle is young. The bald eagle needs the lion. The cat is green. The cat is kind. The cat does not need the bald eagle. The lion chases the bald eagle. The lion chases the tiger. The lion is round. The lion needs the bald eagle. The lion visits the bald eagle. The lion visits the cat. The tiger is not blue. The tiger is not green. The tiger is young. If someone visits the tiger then the tiger visits the lion. If someone is kind and blue then they visit the cat. If someone is green then they visit the bald eagle. If someone needs the tiger then they visit the tiger. If someone needs the tiger and the tiger needs the cat then the tiger needs the lion. If someone visits the lion then they need the tiger. If the tiger chases the bald eagle then the bald eagle is green. If the bald eagle is young then the bald eagle needs the tiger.
The cat chases the cat.
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the lion.[(triple4)] The cat does not need the bald eagle.[(triple7)] The cat is green.[(triple5)] The cat is kind.[(triple6)] The lion chases the bald eagle.[(triple8)] The lion chases the tiger.[(triple9)] The lion is round.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the cat.[(triple13)] The tiger is not blue.[(triple14)] The tiger is not green.[(triple15)] The tiger is young.[(triple16)] @1: The bald eagle needs the tiger.[(((triple3) -> rule8))] The bald eagle visits the bald eagle.[(((triple1) -> rule3))] The cat visits the bald eagle.[(((triple5) -> rule3))] @2: The bald eagle visits the tiger.[(((((triple3) -> rule8)) -> rule4))] @3: The tiger visits the lion.[(((((((triple3) -> rule8)) -> rule4)) -> rule1))] @4: The tiger needs the tiger.[(((((((((triple3) -> rule8)) -> rule4)) -> rule1)) -> rule6))] @5: The tiger visits the tiger.[(((((((((((triple3) -> rule8)) -> rule4)) -> rule1)) -> rule6)) -> rule4))]