The bald eagle is blue. The bald eagle sees the lion. The bald eagle does not visit the lion. The lion eats the bald eagle. The lion is kind. The lion is red. The lion visits the squirrel. The squirrel is big. The squirrel is not kind. The squirrel is red. The squirrel sees the bald eagle. The squirrel visits the lion. If the squirrel is rough and the squirrel does not visit the bald eagle then the squirrel eats the bald eagle. If something is rough and it sees the squirrel then it sees the lion. If something is red and rough then it eats the squirrel. If something sees the lion and the lion is big then the lion is not rough. If the squirrel visits the lion and the squirrel does not see the bald eagle then the squirrel is not big. If something sees the squirrel then it is red. If something visits the lion then it is blue. If something visits the lion and it does not see the bald eagle then the lion is kind.
The squirrel visits the lion.
@0: The bald eagle does not visit the lion.[(triple3)] The bald eagle is blue.[(triple1)] The bald eagle sees the lion.[(triple2)] The lion eats the bald eagle.[(triple4)] The lion is kind.[(triple5)] The lion is red.[(triple6)] The lion visits the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is red.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel is blue.[(((triple12) -> rule7))]