The bald eagle eats the cat. The bald eagle is kind. The bear eats the cat. The bear is round. The bear needs the bald eagle. The bear needs the cat. The cat is green. The cat is round. The cat needs the bear. The cat needs the lion. The lion chases the bald eagle. The lion needs the bald eagle. All round people are young. If someone chases the lion then they are rough. If the bear is round and the bear eats the bald eagle then the bald eagle needs the lion.
The bald eagle eats the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bear eats the cat.[(triple3)] The bear is round.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear needs the cat.[(triple6)] The cat is green.[(triple7)] The cat is round.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the lion.[(triple10)] The lion chases the bald eagle.[(triple11)] The lion needs the bald eagle.[(triple12)] @1: The bear is young.[(((triple4) -> rule1))] The cat is young.[(((triple8) -> rule1))]