The lion does not eat the squirrel. The lion is big. The lion is cold. The lion is not round. The lion sees the squirrel. The lion visits the squirrel. The squirrel eats the lion. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel sees the lion. The squirrel visits the lion. If someone is round and they visit the lion then they visit the squirrel. If someone is big and they visit the lion then they are nice.
The lion visits the lion.
@0: The lion does not eat the squirrel.[(triple1)] The lion is big.[(triple2)] The lion is cold.[(triple3)] The lion is not round.[(triple4)] The lion sees the squirrel.[(triple5)] The lion visits the squirrel.[(triple6)] The squirrel eats the lion.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is round.[(triple10)] The squirrel sees the lion.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel visits the squirrel.[(((triple10 triple12) -> rule1))]