The cow is green. The cow is kind. The cow visits the squirrel. The lion is green. The lion is nice. The lion is rough. The lion is young. The lion sees the cow. The lion sees the squirrel. The lion visits the squirrel. The squirrel sees the lion. The squirrel visits the cow. If the lion visits the cow then the cow sees the lion. If someone eats the cow and the cow visits the squirrel then they visit the lion. If someone eats the lion then the lion visits the cow. If the squirrel sees the cow and the squirrel eats the lion then the lion sees the cow. If someone sees the lion and they are rough then they visit the squirrel. If someone visits the cow and the cow visits the squirrel then the cow eats the lion.
The lion does not visit the cow.
@0: The cow is green.[(triple1)] The cow is kind.[(triple2)] The cow visits the squirrel.[(triple3)] The lion is green.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The lion sees the cow.[(triple8)] The lion sees the squirrel.[(triple9)] The lion visits the squirrel.[(triple10)] The squirrel sees the lion.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cow eats the lion.[(((triple12 triple3) -> rule6))] @2: The lion visits the cow.[(((((triple12 triple3) -> rule6)) -> rule3))] @3: The cow sees the lion.[(((((((triple12 triple3) -> rule6)) -> rule3)) -> rule1))]