The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is not green. The bald eagle is not kind. The bald eagle does not like the dog. The bald eagle sees the cat. The bald eagle does not see the dog. The cat is blue. The cat is round. The dog eats the bald eagle. The dog eats the cat. The dog is round. The dog likes the cat. The lion eats the bald eagle. The lion eats the cat. The lion does not see the cat. If the dog sees the cat then the dog likes the bald eagle. If something is round then it likes the lion. If the cat likes the bald eagle and the lion does not see the cat then the lion is kind. If something is kind then it is round. If something likes the lion then it likes the bald eagle. If something eats the lion then it likes the bald eagle.
The bald eagle does not eat the bald eagle.
@0: The bald eagle does not like the dog.[(triple5)] The bald eagle does not see the dog.[(triple7)] The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is not kind.[(triple4)] The bald eagle sees the cat.[(triple6)] The cat is blue.[(triple8)] The cat is round.[(triple9)] The dog eats the bald eagle.[(triple10)] The dog eats the cat.[(triple11)] The dog is round.[(triple12)] The dog likes the cat.[(triple13)] The lion does not see the cat.[(triple16)] The lion eats the bald eagle.[(triple14)] The lion eats the cat.[(triple15)] @1: The cat likes the lion.[(((triple9) -> rule2))] The dog likes the lion.[(((triple12) -> rule2))] @2: The cat likes the bald eagle.[(((((triple9) -> rule2)) -> rule5))] The dog likes the bald eagle.[(((((triple12) -> rule2)) -> rule5))] @3: The lion is kind.[(((((((triple9) -> rule2)) -> rule5) triple16) -> rule3))] @4: The lion is round.[(((((((((triple9) -> rule2)) -> rule5) triple16) -> rule3)) -> rule4))] @5: The lion likes the lion.[(((((((((((triple9) -> rule2)) -> rule5) triple16) -> rule3)) -> rule4)) -> rule2))] @6: The lion likes the bald eagle.[(((((((((((((triple9) -> rule2)) -> rule5) triple16) -> rule3)) -> rule4)) -> rule2)) -> rule5))]