The lion eats the tiger. The lion is cold. The lion is green. The lion visits the rabbit. The rabbit is round. The rabbit sees the tiger. The squirrel eats the rabbit. The squirrel does not visit the rabbit. The tiger eats the squirrel. The tiger visits the rabbit. If someone visits the lion and they are not rough then they do not visit the rabbit. If someone eats the lion and they visit the tiger then the lion is round. If someone is rough and round then they do not visit the lion. If someone visits the squirrel then the squirrel visits the lion. If someone sees the tiger and the tiger does not eat the rabbit then they do not eat the tiger. If the squirrel visits the tiger and the squirrel eats the tiger then the tiger sees the rabbit. If the lion visits the rabbit then the rabbit visits the squirrel. If someone visits the lion then they do not visit the squirrel.
The lion sees the lion.
@0: The lion eats the tiger.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion visits the rabbit.[(triple4)] The rabbit is round.[(triple5)] The rabbit sees the tiger.[(triple6)] The squirrel does not visit the rabbit.[(triple8)] The squirrel eats the rabbit.[(triple7)] The tiger eats the squirrel.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The rabbit visits the squirrel.[(((triple4) -> rule7))] @2: The squirrel visits the lion.[(((((triple4) -> rule7)) -> rule4))] @3: The squirrel does not visit the squirrel.[(((((((triple4) -> rule7)) -> rule4)) -> rule8))]