The bald eagle eats the rabbit. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is round. The bald eagle needs the rabbit. The bald eagle needs the squirrel. The rabbit eats the bald eagle. The rabbit eats the squirrel. The rabbit is nice. The rabbit needs the bald eagle. The rabbit visits the bald eagle. The squirrel eats the bald eagle. The squirrel is round. The squirrel visits the bald eagle. The squirrel visits the rabbit. If the squirrel visits the bald eagle and the squirrel eats the rabbit then the squirrel needs the bald eagle. If someone is cold then they eat the bald eagle. If someone eats the squirrel then they visit the rabbit. If someone needs the rabbit and the rabbit is round then the rabbit eats the bald eagle. If someone visits the squirrel then they eat the squirrel. If someone visits the bald eagle then the bald eagle is cold.
The bald eagle needs the squirrel.
@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 round.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The bald eagle needs the squirrel.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is nice.[(triple9)] The rabbit needs the bald eagle.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is round.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The bald eagle is cold.[(((triple11) -> rule6) OR ((triple14) -> rule6))] The bald eagle visits the rabbit.[(((triple2) -> rule3))] The rabbit visits the rabbit.[(((triple8) -> rule3))] @2: The bald eagle eats the bald eagle.[(((((triple11) -> rule6)) -> rule2) OR ((((triple14) -> rule6)) -> rule2))]