The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the dog. The bald eagle needs the dog. The cow likes the rabbit. The cow needs the bald eagle. The dog eats the cow. The dog is kind. The dog likes the cow. The dog needs the cow. The rabbit eats the bald eagle. The rabbit likes the bald eagle. If the cow is kind then the cow eats the bald eagle. If something likes the rabbit and the rabbit is big then it needs the cow. If something is young and it likes the rabbit then the rabbit is big. If something eats the cow then the cow is young. If something eats the dog and it likes the bald eagle then it is kind. If the rabbit is red and the rabbit is kind then the rabbit likes the bald eagle.
The bald eagle is big.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the dog.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the bald eagle.[(triple6)] The dog eats the cow.[(triple7)] The dog is kind.[(triple8)] The dog likes the cow.[(triple9)] The dog needs the cow.[(triple10)] The rabbit eats the bald eagle.[(triple11)] The rabbit likes the bald eagle.[(triple12)] @1: The cow is young.[(((triple7) -> rule4))] @2: The rabbit is big.[(((((triple7) -> rule4) triple5) -> rule3))] @3: The cow needs the cow.[(((triple5 ((((triple7) -> rule4) triple5) -> rule3)) -> rule2))]