The lion is cold. The lion is kind. The lion needs the mouse. The mouse does not chase the rabbit. The mouse is big. The mouse is cold. The mouse is not green. The rabbit is big. The rabbit needs the lion. The squirrel chases the lion. The squirrel is big. The squirrel is not green. The squirrel is kind. The squirrel is nice. The squirrel needs the rabbit. If someone needs the rabbit and the rabbit chases the lion then the rabbit eats the mouse. If the squirrel needs the mouse then the squirrel chases the lion. If someone eats the rabbit and the rabbit does not chase the squirrel then the rabbit needs the squirrel. If someone eats the rabbit and the rabbit is green then they are not cold. If someone is nice then they need the squirrel. If someone needs the mouse then they do not need the rabbit.
The lion is not cold.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2)] The lion needs the mouse.[(triple3)] The mouse does not chase the rabbit.[(triple4)] The mouse is big.[(triple5)] The mouse is cold.[(triple6)] The mouse is not green.[(triple7)] The rabbit is big.[(triple8)] The rabbit needs the lion.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel is big.[(triple11)] The squirrel is kind.[(triple13)] The squirrel is nice.[(triple14)] The squirrel is not green.[(triple12)] The squirrel needs the rabbit.[(triple15)] @1: The lion does not need the rabbit.[(((triple3) -> rule6))] The squirrel needs the squirrel.[(((triple14) -> rule5))]