The bald eagle is blue. The bald eagle is cold. The bald eagle needs the rabbit. The bear visits the lion. The lion is nice. The lion likes the bald eagle. The lion needs the bald eagle. The lion needs the rabbit. The lion visits the rabbit. The rabbit likes the bear. The rabbit needs the bald eagle. The rabbit needs the lion. The rabbit visits the bald eagle. The rabbit visits the bear. If someone visits the rabbit then they need the bear. If someone needs the rabbit then the rabbit likes the bear. If someone visits the bear and the bear needs the rabbit then they need the bear. If someone needs the bear then they need the rabbit. If the bear needs the lion and the bear likes the bald eagle then the bear visits the bald eagle. If someone is blue and they like the bald eagle then the bald eagle needs the rabbit. If someone likes the bear then the bear visits the rabbit. If the bald eagle likes the rabbit and the bald eagle visits the rabbit then the bald eagle needs the bear. If the rabbit likes the bear then the bear visits the bald eagle.
The lion visits the bear.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bear visits the lion.[(triple4)] The lion is nice.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion needs the rabbit.[(triple8 OR ((((triple9) -> rule1)) -> rule4))] The lion visits the rabbit.[(triple9)] The rabbit likes the bear.[(triple10 OR ((triple3) -> rule2) OR ((triple8) -> rule2) OR ((((((triple9) -> rule1)) -> rule4)) -> rule2))] The rabbit needs the bald eagle.[(triple11)] The rabbit needs the lion.[(triple12)] The rabbit visits the bald eagle.[(triple13)] The rabbit visits the bear.[(triple14)] @1: The bear visits the bald eagle.[(((triple10) -> rule9) OR ((((triple3) -> rule2)) -> rule9) OR ((((triple8) -> rule2)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule9))] The bear visits the rabbit.[(((triple10) -> rule7) OR ((((triple3) -> rule2)) -> rule7) OR ((((triple8) -> rule2)) -> rule7) OR ((((((((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule7))] The lion needs the bear.[(((triple9) -> rule1))] @2: The bear needs the bear.[(((((triple10) -> rule7)) -> rule1) OR ((((((triple3) -> rule2)) -> rule7)) -> rule1) OR ((((((triple8) -> rule2)) -> rule7)) -> rule1) OR ((((((((((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule7)) -> rule1))] @3: The bear needs the rabbit.[(((((((triple10) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule2)) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple8) -> rule2)) -> rule7)) -> rule1)) -> rule4) OR ((((((((((((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule7)) -> rule1)) -> rule4))] @4: The rabbit needs the bear.[(((triple14 ((((((triple10) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((triple14 ((((((((triple3) -> rule2)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((triple14 ((((((((triple8) -> rule2)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((triple14 ((((((((((((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule7)) -> rule1)) -> rule4)) -> rule3))] @5: The rabbit needs the rabbit.[(((((triple14 ((((((triple10) -> rule7)) -> rule1)) -> rule4)) -> rule3)) -> rule4) OR ((((triple14 ((((((((triple3) -> rule2)) -> rule7)) -> rule1)) -> rule4)) -> rule3)) -> rule4) OR ((((triple14 ((((((((triple8) -> rule2)) -> rule7)) -> rule1)) -> rule4)) -> rule3)) -> rule4) OR ((((triple14 ((((((((((((triple9) -> rule1)) -> rule4)) -> rule2)) -> rule7)) -> rule1)) -> rule4)) -> rule3)) -> rule4))]