The cow chases the lion. The cow likes the rabbit. The cow sees the lion. The cow sees the squirrel. The lion chases the squirrel. The lion likes the cow. The lion likes the squirrel. The rabbit chases the lion. The rabbit likes the lion. The squirrel is big. The squirrel is rough. The squirrel likes the lion. The squirrel sees the lion. The squirrel sees the rabbit. If something sees the rabbit and the rabbit sees the cow then the rabbit chases the cow. If something is rough then it likes the rabbit. If something is cold and it chases the lion then the lion likes the squirrel. If something likes the cow then it is rough. If the lion is big and the lion chases the rabbit then the rabbit chases the cow. If something chases the rabbit then it is rough. If the lion sees the rabbit and the lion chases the cow then the cow is cold. If the lion is rough and the lion likes the rabbit then the rabbit likes the cow. If something is red and it sees the cow then the cow likes the rabbit.
The lion is not red.
@0: The cow chases the lion.[(triple1)] The cow likes the rabbit.[(triple2)] The cow sees the lion.[(triple3)] The cow sees the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion likes the cow.[(triple6)] The lion likes the squirrel.[(triple7)] The rabbit chases the lion.[(triple8)] The rabbit likes the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel is rough.[(triple11)] The squirrel likes the lion.[(triple12)] The squirrel sees the lion.[(triple13)] The squirrel sees the rabbit.[(triple14)] @1: The lion is rough.[(((triple6) -> rule4))] The squirrel likes the rabbit.[(((triple11) -> rule2))] @2: The lion likes the rabbit.[(((((triple6) -> rule4)) -> rule2))] @3: The rabbit likes the cow.[(((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule2)) -> rule8))] @4: The rabbit is rough.[(((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule2)) -> rule8)) -> rule4))] @5: The rabbit likes the rabbit.[(((((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule2)) -> rule8)) -> rule4)) -> rule2))]