The bald eagle is cold. The bald eagle sees the mouse. The bald eagle visits the cow. The cow eats the mouse. The cow is green. The cow is nice. The cow sees the squirrel. The mouse sees the cow. The mouse visits the cow. The squirrel is big. If someone eats the mouse and the mouse sees the cow then they are nice. If someone is nice and blue then they are big. If the cow is blue and the cow visits the bald eagle then the bald eagle sees the mouse. If someone eats the mouse and the mouse sees the bald eagle then they are cold. If the bald eagle visits the cow and the bald eagle visits the squirrel then the bald eagle visits the mouse. If someone is nice and they visit the squirrel then they eat the squirrel.
The mouse does not see the cow.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow eats the mouse.[(triple4)] The cow is green.[(triple5)] The cow is nice.[(triple6 OR ((triple4 triple8) -> rule1))] The cow sees the squirrel.[(triple7)] The mouse sees the cow.[(triple8)] The mouse visits the cow.[(triple9)] The squirrel is big.[(triple10)]