The bald eagle is big. The bald eagle is young. The bald eagle likes the bear. The bear does not eat the bald eagle. The bear is young. The tiger does not like the bald eagle. The tiger likes the bear. Big things are not round. If the bald eagle likes the bear then the bald eagle does not eat the bear. If something sees the tiger and the tiger eats the bear then it likes the tiger. Round things are big. If something eats the bear then it likes the bear. If something sees the bear and it sees the bald eagle then it does not eat the bald eagle.
The bald eagle is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear does not eat the bald eagle.[(triple4)] The bear is young.[(triple5)] The tiger does not like the bald eagle.[(triple6)] The tiger likes the bear.[(triple7)] @1: The bald eagle does not eat the bear.[(((triple3) -> rule2))] The bald eagle is not round.[(((triple1) -> rule1))]