The bald eagle is big. The bald eagle is green. The bald eagle visits the cow. The cow eats the lion. The cow is green. The cow is rough. The dog does not eat the lion. The dog is not green. The dog is rough. The dog needs the cow. The dog needs the lion. The dog visits the cow. The lion does not eat the dog. The lion needs the bald eagle. The lion needs the cow. The lion does not visit the dog. If someone needs the dog then the dog is young. If someone needs the cow and the cow needs the dog then the cow eats the bald eagle. If someone visits the dog then they need the dog. If someone needs the lion then they visit the dog. If someone eats the bald eagle then the bald eagle visits the lion. If someone eats the cow then they are not rough. If someone needs the lion then the lion is green. If someone needs the dog and the dog visits the cow then the cow needs the dog. If someone needs the lion and the lion is not young then the lion eats the bald eagle.
The lion visits the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow eats the lion.[(triple4)] The cow is green.[(triple5)] The cow is rough.[(triple6)] The dog does not eat the lion.[(triple7)] The dog is not green.[(triple8)] The dog is rough.[(triple9)] The dog needs the cow.[(triple10)] The dog needs the lion.[(triple11)] The dog visits the cow.[(triple12)] The lion does not eat the dog.[(triple13)] The lion does not visit the dog.[(triple16)] The lion needs the bald eagle.[(triple14)] The lion needs the cow.[(triple15)] @1: The dog visits the dog.[(((triple11) -> rule4))] The lion is green.[(((triple11) -> rule7))] @2: The dog needs the dog.[(((((triple11) -> rule4)) -> rule3))] @3: The cow needs the dog.[(((((((triple11) -> rule4)) -> rule3) triple12) -> rule8))] The dog is young.[(((((((triple11) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple11) -> rule4)) -> rule3) triple12) -> rule8)) -> rule1))] @4: The cow eats the bald eagle.[(((triple10 ((((((triple11) -> rule4)) -> rule3) triple12) -> rule8)) -> rule2) OR ((triple15 ((((((triple11) -> rule4)) -> rule3) triple12) -> rule8)) -> rule2))] @5: The bald eagle visits the lion.[(((((triple10 ((((((triple11) -> rule4)) -> rule3) triple12) -> rule8)) -> rule2)) -> rule5) OR ((((triple15 ((((((triple11) -> rule4)) -> rule3) triple12) -> rule8)) -> rule2)) -> rule5))]