The bald eagle is green. The bald eagle visits the squirrel. The cat is green. The cat visits the bald eagle. The lion chases the squirrel. The lion is cold. The lion visits the squirrel. The squirrel chases the cat. The squirrel is rough. The squirrel needs the bald eagle. The squirrel visits the cat. The squirrel visits the lion. If someone needs the cat then they visit the squirrel. If someone chases the cat then the cat is big. If the cat chases the squirrel and the squirrel is green then the cat needs the squirrel.
The bald eagle needs the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cat is green.[(triple3)] The cat visits the bald eagle.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is cold.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel is rough.[(triple9)] The squirrel needs the bald eagle.[(triple10)] The squirrel visits the cat.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The cat is big.[(((triple8) -> rule2))]