The bald eagle chases the cat. The bald eagle does not visit the cat. The cat does not chase the bald eagle. The cat chases the squirrel. The cat eats the lion. The cat eats the squirrel. The cat is kind. The cat is not rough. The lion eats the cat. The squirrel is not rough. If the bald eagle visits the squirrel and the squirrel visits the bald eagle then the squirrel eats the cat. If the bald eagle is cold and the bald eagle visits the cat then the cat visits the squirrel. If someone eats the lion then they eat the cat. If the lion chases the bald eagle then the bald eagle does not visit the lion. If someone visits the lion then they are rough. If the lion visits the squirrel then the squirrel does not visit the cat. If the squirrel eats the bald eagle and the bald eagle does not visit the lion then the squirrel is round. If someone visits the cat and they are not round then the cat eats the squirrel.
The bald eagle does not chase the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not visit the cat.[(triple2)] The cat chases the squirrel.[(triple4)] The cat does not chase the bald eagle.[(triple3)] The cat eats the lion.[(triple5)] The cat eats the squirrel.[(triple6)] The cat is kind.[(triple7)] The cat is not rough.[(triple8)] The lion eats the cat.[(triple9)] The squirrel is not rough.[(triple10)] @1: The cat eats the cat.[(((triple5) -> rule3))]