The bald eagle is green. The bald eagle needs the cow. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The bald eagle visits the rabbit. The bald eagle visits the squirrel. The cow is nice. The cow is red. The cow sees the rabbit. The cow visits the bald eagle. The rabbit sees the cow. The squirrel visits the bald eagle. If someone sees the cow then the cow visits the squirrel. If someone is cold then they visit the bald eagle. If the cow visits the squirrel then the squirrel needs the rabbit.
The cow visits the squirrel.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The cow is nice.[(triple7)] The cow is red.[(triple8)] The cow sees the rabbit.[(triple9)] The cow visits the bald eagle.[(triple10)] The rabbit sees the cow.[(triple11)] The squirrel visits the bald eagle.[(triple12)] @1: The cow visits the squirrel.[(((triple11) -> rule1))] @2: The squirrel needs the rabbit.[(((((triple11) -> rule1)) -> rule3))]