The bald eagle eats the lion. The bald eagle is rough. The bald eagle likes the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat is young. The cat likes the lion. The cat visits the bald eagle. The cat visits the lion. The lion eats the bald eagle. The lion is kind. The lion is red. The lion is young. The lion likes the bald eagle. The lion likes the cat. The lion visits the bald eagle. If something visits the lion then it likes the lion. If something visits the cat then the cat is young. If the cat likes the bald eagle and the cat likes the lion then the bald eagle likes the cat. If something likes the cat then the cat is young. If something likes the cat and it eats the lion then the cat eats the bald eagle. If something likes the cat then the cat likes the bald eagle.
The lion is kind.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cat.[(triple3 OR ((((triple15) -> rule6) triple7) -> rule3) OR ((((triple15) -> rule6) ((triple9) -> rule1)) -> rule3))] The bald eagle visits the cat.[(triple4)] The cat eats the bald eagle.[(triple5 OR ((triple3 triple1) -> rule5) OR ((((((triple15) -> rule6) triple7) -> rule3) triple1) -> rule5) OR ((((((triple15) -> rule6) ((triple9) -> rule1)) -> rule3) triple1) -> rule5))] The cat is young.[(triple6 OR ((triple15) -> rule4) OR ((triple3) -> rule4) OR ((triple4) -> rule2) OR ((((((triple15) -> rule6) triple7) -> rule3)) -> rule4) OR ((((((triple15) -> rule6) ((triple9) -> rule1)) -> rule3)) -> rule4))] The cat likes the lion.[(triple7 OR ((triple9) -> rule1))] The cat visits the bald eagle.[(triple8)] The cat visits the lion.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion is kind.[(triple11)] The lion is red.[(triple12)] The lion is young.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the cat.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The cat likes the bald eagle.[(((triple15) -> rule6) OR ((triple3) -> rule6))]