The lion chases the squirrel. The lion is not round. The lion visits the rabbit. The lion does not visit the squirrel. The rabbit is big. The rabbit is red. The squirrel sees the lion. If something chases the lion and the lion is not big then it chases the squirrel. If something visits the rabbit and it is red then it does not see the rabbit. If something chases the rabbit and the rabbit visits the lion then the rabbit does not see the squirrel. If the rabbit visits the lion and the lion does not visit the rabbit then the rabbit chases the lion. If the lion is cold then the lion chases the squirrel. If something is red then it sees the squirrel.
The lion does not chase the squirrel.
@0: The lion chases the squirrel.[(triple1)] The lion does not visit the squirrel.[(triple4)] The lion is not round.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit is big.[(triple5)] The rabbit is red.[(triple6)] The squirrel sees the lion.[(triple7)] @1: The rabbit sees the squirrel.[(((triple6) -> rule6))]