The lion chases the rabbit. The lion visits the squirrel. The rabbit is red. The squirrel chases the rabbit. The squirrel sees the lion. The squirrel sees the rabbit. The squirrel visits the lion. If something chases the rabbit and it sees the lion then it does not visit the rabbit. If something visits the squirrel then it sees the lion. If something chases the squirrel and it chases the lion then it visits the lion. If the squirrel sees the rabbit then the rabbit is rough. If the squirrel sees the lion then the lion is cold. If something is cold and not green then it sees the squirrel. If the lion is cold and the lion does not visit the rabbit then the lion sees the rabbit. If something chases the rabbit and the rabbit is not rough then the rabbit sees the squirrel.
The lion is cold.
@0: The lion chases the rabbit.[(triple1)] The lion visits the squirrel.[(triple2)] The rabbit is red.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel sees the lion.[(triple5)] The squirrel sees the rabbit.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The lion is cold.[(((triple5) -> rule5))] The lion sees the lion.[(((triple2) -> rule2))] The rabbit is rough.[(((triple6) -> rule4))] The squirrel does not visit the rabbit.[(((triple4 triple5) -> rule1))] @2: The lion does not visit the rabbit.[(((triple1 ((triple2) -> rule2)) -> rule1))] @3: The lion sees the rabbit.[(((((triple5) -> rule5) ((triple1 ((triple2) -> rule2)) -> rule1)) -> rule7))]