The bear is cold. The bear is kind. The dog likes the rabbit. The rabbit is green. The rabbit is nice. The rabbit is not young. The rabbit likes the bear. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel is cold. The squirrel is kind. The squirrel is nice. The squirrel likes the bear. The squirrel likes the rabbit. The squirrel sees the bear. The squirrel sees the dog. If the bear is kind and the bear is not green then the bear does not like the squirrel. If someone chases the squirrel and they do not like the rabbit then the squirrel chases the dog. If the rabbit likes the bear and the bear likes the squirrel then the squirrel chases the dog. If the squirrel sees the rabbit and the bear does not see the squirrel then the rabbit chases the bear. If someone chases the dog then the dog is cold. If someone sees the dog then the dog is kind.
The dog sees the squirrel.
@0: The bear is cold.[(triple1)] The bear is kind.[(triple2)] The dog likes the rabbit.[(triple3)] The rabbit is green.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is not young.[(triple6)] The rabbit likes the bear.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel sees the bear.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The dog is cold.[(((triple8) -> rule5))] The dog is kind.[(((triple16) -> rule6))]