The bear chases the cow. The bear does not eat the cow. The cow is cold. The dog chases the bear. The dog chases the cow. The dog does not eat the cow. The dog eats the squirrel. The dog is cold. The dog is not kind. The dog is rough. The squirrel does not chase the bear. The squirrel eats the cow. The squirrel is big. The squirrel is rough. The squirrel needs the dog. If the bear eats the dog then the bear chases the squirrel. If something is rough and it needs the squirrel then it does not chase the cow. If something needs the bear and it eats the cow then the cow needs the dog. Kind things are green. If something is green then it chases the dog. If something needs the dog and it eats the cow then it is kind.
The squirrel is not green.
@0: The bear chases the cow.[(triple1)] The bear does not eat the cow.[(triple2)] The cow is cold.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the cow.[(triple5)] The dog does not eat the cow.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is cold.[(triple8)] The dog is not kind.[(triple9)] The dog is rough.[(triple10)] The squirrel does not chase the bear.[(triple11)] The squirrel eats the cow.[(triple12)] The squirrel is big.[(triple13)] The squirrel is rough.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The squirrel is kind.[(((triple15 triple12) -> rule6))] @2: The squirrel is green.[(((((triple15 triple12) -> rule6)) -> rule4))] @3: The squirrel chases the dog.[(((((((triple15 triple12) -> rule6)) -> rule4)) -> rule5))]