The bald eagle is green. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The cat needs the bald eagle. The cat sees the bald eagle. The cat sees the rabbit. The lion is young. The lion sees the bald eagle. The lion sees the cat. The lion visits the bald eagle. The rabbit is big. The rabbit is nice. The rabbit is not young. The rabbit needs the lion. If someone visits the bald eagle then the bald eagle sees the rabbit. If someone needs the bald eagle and the bald eagle needs the lion then the bald eagle sees the rabbit. If someone is round then they see the rabbit. If the lion sees the rabbit and the lion is young then the rabbit sees the bald eagle. If someone visits the cat and they need the lion then they visit the bald eagle. If someone sees the bald eagle then they are round. If someone visits the lion then they are green. If someone needs the bald eagle and they are not young then the bald eagle sees the cat.
The rabbit sees the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle sees the rabbit.[(triple3 OR ((triple10) -> rule1))] The cat needs the bald eagle.[(triple4)] The cat sees the bald eagle.[(triple5)] The cat sees the rabbit.[(triple6 OR ((((triple5) -> rule6)) -> rule3))] The lion is young.[(triple7)] The lion sees the bald eagle.[(triple8)] The lion sees the cat.[(triple9)] The lion visits the bald eagle.[(triple10)] The rabbit is big.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is not young.[(triple13)] The rabbit needs the lion.[(triple14)] @1: The cat is round.[(((triple5) -> rule6))] The lion is round.[(((triple8) -> rule6))] @2: The lion sees the rabbit.[(((((triple8) -> rule6)) -> rule3))] @3: The rabbit sees the bald eagle.[(((((((triple8) -> rule6)) -> rule3) triple7) -> rule4))] @4: The rabbit is round.[(((((((((triple8) -> rule6)) -> rule3) triple7) -> rule4)) -> rule6))] @5: The rabbit sees the rabbit.[(((((((((((triple8) -> rule6)) -> rule3) triple7) -> rule4)) -> rule6)) -> rule3))]