The bald eagle is blue. The bald eagle visits the cat. The bald eagle visits the squirrel. The cat sees the bald eagle. The cat visits the bald eagle. The cat visits the squirrel. The mouse is round. The mouse visits the bald eagle. The squirrel is young. The squirrel sees the mouse. If something is young and it sees the mouse then the mouse eats the cat. If the cat visits the mouse and the cat sees the mouse then the mouse visits the cat. If the bald eagle visits the squirrel and the bald eagle is rough then the bald eagle eats the squirrel. If something visits the squirrel and it sees the mouse then it visits the cat. If something is kind and rough then it eats the mouse. If something eats the bald eagle and the bald eagle eats the squirrel then the bald eagle is round.
The squirrel sees the cat.
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the cat.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat visits the bald eagle.[(triple5)] The cat visits the squirrel.[(triple6)] The mouse is round.[(triple7)] The mouse visits the bald eagle.[(triple8)] The squirrel is young.[(triple9)] The squirrel sees the mouse.[(triple10)] @1: The mouse eats the cat.[(((triple9 triple10) -> rule1))]