The bald eagle is nice. The bald eagle is rough. The bald eagle sees the cat. The bald eagle visits the cat. The bald eagle visits the squirrel. The cat is blue. The cat is rough. The cat needs the bald eagle. The cat sees the squirrel. The lion is rough. The lion sees the cat. The squirrel visits the cat. If someone sees the lion then the lion needs the bald eagle. If someone visits the lion and the lion visits the squirrel then the squirrel visits the cat. If someone visits the cat and the cat sees the bald eagle then the bald eagle visits the lion. If someone sees the bald eagle then the bald eagle needs the cat. If someone sees the bald eagle and the bald eagle is blue then they are nice. If someone is rough and green then they need the bald eagle. If someone visits the bald eagle and they need the cat then they need the bald eagle. If someone sees the cat and they visit the squirrel then they need the squirrel.
The cat is not blue.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The cat is blue.[(triple6)] The cat is rough.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat sees the squirrel.[(triple9)] The lion is rough.[(triple10)] The lion sees the cat.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The bald eagle needs the squirrel.[(((triple3 triple5) -> rule8))]