The bear is nice. The bear sees the cow. The bear sees the dog. The cow eats the squirrel. The dog eats the bear. The squirrel chases the dog. The squirrel is nice. If something eats the bear and it eats the cow then the bear is kind. If something is nice and it sees the cow then the cow is cold. If something is cold and it eats the dog then the dog eats the squirrel. If something is cold then it sees the dog. If something is cold and it sees the dog then the dog chases the bear. If the dog is kind and the dog eats the bear then the bear chases the cow. If something is nice and it chases the bear then it eats the dog. If the squirrel eats the dog and the squirrel is cold then the squirrel sees the dog.
The dog sees the squirrel.
@0: The bear is nice.[(triple1)] The bear sees the cow.[(triple2)] The bear sees the dog.[(triple3)] The cow eats the squirrel.[(triple4)] The dog eats the bear.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel is nice.[(triple7)] @1: The cow is cold.[(((triple1 triple2) -> rule2))] @2: The cow sees the dog.[(((((triple1 triple2) -> rule2)) -> rule4))] @3: The dog chases the bear.[(((((triple1 triple2) -> rule2) ((((triple1 triple2) -> rule2)) -> rule4)) -> rule5))]