The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is big. The cow needs the bald eagle. The cow needs the rabbit. The lion chases the cow. The lion chases the rabbit. The lion is kind. The lion is not round. The lion needs the bald eagle. The lion does not visit the cow. The lion visits the rabbit. The rabbit chases the bald eagle. The rabbit visits the bald eagle. If someone needs the rabbit then the rabbit chases the lion. If someone is rough and they do not chase the rabbit then they visit the bald eagle. If someone chases the lion then they do not need the cow. If someone needs the bald eagle and the bald eagle chases the cow then the bald eagle is not round. If someone chases the bald eagle and they do not need the cow then they visit the cow. If someone needs the rabbit and the rabbit visits the cow then the rabbit is big. If someone is big then they do not visit the lion.
The lion does not chase the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is big.[(triple3)] The cow needs the bald eagle.[(triple4)] The cow needs the rabbit.[(triple5)] The lion chases the cow.[(triple6)] The lion chases the rabbit.[(triple7)] The lion does not visit the cow.[(triple11)] The lion is kind.[(triple8)] The lion is not round.[(triple9)] The lion needs the bald eagle.[(triple10)] The lion visits the rabbit.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit visits the bald eagle.[(triple14)] @1: The bald eagle does not need the cow.[(((triple1) -> rule3))] The bald eagle does not visit the lion.[(((triple3) -> rule7))] The rabbit chases the lion.[(((triple5) -> rule1))] @2: The rabbit does not need the cow.[(((((triple5) -> rule1)) -> rule3))] @3: The rabbit visits the cow.[(((triple13 ((((triple5) -> rule1)) -> rule3)) -> rule5))] @4: The rabbit is big.[(((triple5 ((triple13 ((((triple5) -> rule1)) -> rule3)) -> rule5)) -> rule6))] @5: The rabbit does not visit the lion.[(((((triple5 ((triple13 ((((triple5) -> rule1)) -> rule3)) -> rule5)) -> rule6)) -> rule7))]