The cat does not chase the squirrel. The cat eats the squirrel. The cat is cold. The lion chases the squirrel. The lion is cold. The squirrel chases the lion. The squirrel eats the cat. The squirrel is kind. The squirrel is nice. The squirrel is not rough. The squirrel sees the cat. The squirrel sees the lion. If something chases the squirrel and it is not nice then the squirrel does not see the cat. If something is nice and it does not chase the squirrel then the squirrel sees the cat. If the squirrel eats the cat then the squirrel is not big. If something eats the cat then the cat is kind. If something sees the squirrel and the squirrel does not see the cat then the cat does not chase the lion. If something chases the lion and it sees the lion then it does not chase the cat.
The squirrel chases the lion.
@0: The cat does not chase the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is cold.[(triple3)] The lion chases the squirrel.[(triple4)] The lion is cold.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is not rough.[(triple10)] The squirrel sees the cat.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The cat is kind.[(((triple7) -> rule4))] The squirrel does not chase the cat.[(((triple6 triple12) -> rule6))] The squirrel is not big.[(((triple7) -> rule3))]