The bald eagle eats the rabbit. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The cat visits the rabbit. The rabbit is blue. The rabbit sees the cat. The rabbit sees the squirrel. The squirrel is big. The squirrel is cold. If the squirrel is blue and the squirrel sees the bald eagle then the squirrel is green. If the squirrel sees the bald eagle and the bald eagle sees the cat then the squirrel visits the cat. If something sees the rabbit then the rabbit eats the cat. If the rabbit visits the squirrel then the rabbit eats the bald eagle. If something eats the rabbit and the rabbit is kind then it eats the squirrel. If something is kind and it eats the cat then it visits the rabbit. If the squirrel visits the cat then the cat is green. If something eats the rabbit and the rabbit eats the bald eagle then it is green.
The bald eagle visits the squirrel.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit sees the cat.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] @1: The rabbit eats the cat.[(((triple2) -> rule3))]