The bald eagle eats the rabbit. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is green. The bald eagle sees the squirrel. The bear does not eat the bald eagle. The bear does not eat the rabbit. The bear is not round. The bear visits the squirrel. The rabbit does not eat the bear. The rabbit is blue. The rabbit does not see the bear. The rabbit sees the squirrel. The rabbit visits the bald eagle. The squirrel eats the bear. The squirrel sees the rabbit. If the bald eagle is green then the bald eagle is blue.
The rabbit is not round.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The bear does not eat the bald eagle.[(triple6)] The bear does not eat the rabbit.[(triple7)] The bear is not round.[(triple8)] The bear visits the squirrel.[(triple9)] The rabbit does not eat the bear.[(triple10)] The rabbit does not see the bear.[(triple12)] The rabbit is blue.[(triple11)] The rabbit sees the squirrel.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The squirrel eats the bear.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The bald eagle is blue.[(((triple4) -> rule1))]