The bald eagle is not rough. The bald eagle is round. The bear sees the cow. The bear sees the lion. The cow is not red. The lion is rough. The lion is round. The lion needs the bear. The lion sees the bear. The lion visits the bear. If someone needs the bear and the bear is not rough then the bear is green. If someone sees the cow then they are nice.
The cow is not nice.
@0: The bald eagle is not rough.[(triple1)] The bald eagle is round.[(triple2)] The bear sees the cow.[(triple3)] The bear sees the lion.[(triple4)] The cow is not red.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion needs the bear.[(triple8)] The lion sees the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear is nice.[(((triple3) -> rule2))]