The bald eagle sees the lion. The bald eagle sees the rabbit. The bald eagle visits the lion. The bear is big. The bear needs the lion. The bear visits the rabbit. The lion needs the bald eagle. The rabbit needs the bear. The rabbit needs the lion. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The rabbit visits the lion. If something needs the bald eagle then it is big. If the bear visits the lion and the lion sees the rabbit then the bear is blue.
The rabbit is not big.
@0: The bald eagle sees the lion.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the lion.[(triple3)] The bear is big.[(triple4)] The bear needs the lion.[(triple5)] The bear visits the rabbit.[(triple6)] The lion needs the bald eagle.[(triple7)] The rabbit needs the bear.[(triple8)] The rabbit needs the lion.[(triple9)] The rabbit sees the bald eagle.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The lion is big.[(((triple7) -> rule1))]