The bald eagle eats the rabbit. The bald eagle eats the squirrel. The bald eagle is cold. The bald eagle visits the rabbit. The rabbit eats the squirrel. The rabbit is kind. The rabbit is young. The rabbit likes the bald eagle. The rabbit visits the bald eagle. The squirrel eats the rabbit. The squirrel likes the bald eagle. The squirrel visits the rabbit. If the bald eagle likes the rabbit then the bald eagle likes the squirrel. If the squirrel eats the rabbit and the squirrel likes the rabbit then the squirrel eats the bald eagle. If something eats the rabbit and it is young then the rabbit eats the squirrel. If the rabbit visits the bald eagle then the bald eagle likes the rabbit. If something visits the rabbit then the rabbit is green. If something visits the rabbit then the rabbit likes the bald eagle. If something likes the squirrel then it visits the bald eagle. If something visits the rabbit and the rabbit eats the bald eagle then it eats the squirrel.
The squirrel does not like the bald eagle.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is young.[(triple7)] The rabbit likes the bald eagle.[(triple8 OR ((triple12) -> rule6) OR ((triple4) -> rule6))] The rabbit visits the bald eagle.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The bald eagle likes the rabbit.[(((triple9) -> rule4))] The rabbit is green.[(((triple12) -> rule5) OR ((triple4) -> rule5))] @2: The bald eagle likes the squirrel.[(((((triple9) -> rule4)) -> rule1))] @3: The bald eagle visits the bald eagle.[(((((((triple9) -> rule4)) -> rule1)) -> rule7))]