The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle likes the lion. The cat likes the cow. The cat likes the lion. The cat sees the bald eagle. The cow eats the lion. The cow is big. The cow is green. The cow likes the cat. The cow likes the lion. The cow sees the cat. The lion eats the cow. The lion is big. The lion sees the cow. If someone eats the cat then they are round. If someone likes the cow then they like the bald eagle. If someone is big and green then they eat the cat. If someone eats the bald eagle then they see the lion. If someone eats the lion then the lion sees the cow. If someone eats the lion and they are round then the lion sees the cat.
The lion is round.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle likes the lion.[(triple3)] The cat likes the cow.[(triple4)] The cat likes the lion.[(triple5)] The cat sees the bald eagle.[(triple6)] The cow eats the lion.[(triple7)] The cow is big.[(triple8)] The cow is green.[(triple9)] The cow likes the cat.[(triple10)] The cow likes the lion.[(triple11)] The cow sees the cat.[(triple12)] The lion eats the cow.[(triple13)] The lion is big.[(triple14)] The lion sees the cow.[(triple15 OR ((triple7) -> rule5))] @1: The bald eagle is round.[(((triple1) -> rule1))] The cat likes the bald eagle.[(((triple4) -> rule2))] The cow eats the cat.[(((triple8 triple9) -> rule3))] @2: The cow is round.[(((((triple8 triple9) -> rule3)) -> rule1))] @3: The lion sees the cat.[(((triple7 ((((triple8 triple9) -> rule3)) -> rule1)) -> rule6))]