The bear is blue. The bear sees the squirrel. The bear visits the squirrel. The dog chases the bear. The dog chases the squirrel. The dog is cold. The dog is nice. The dog is red. The dog sees the squirrel. The dog visits the bear. The dog visits the squirrel. The squirrel chases the bear. The squirrel chases the dog. The squirrel is nice. The squirrel visits the bear. If someone sees the dog then they visit the dog. If someone is cold and they chase the bear then the bear sees the dog. If someone is big and they see the squirrel then the squirrel sees the bear. If the squirrel is cold and the squirrel visits the dog then the dog sees the bear. If the bear sees the squirrel then the bear visits the dog. If someone is big and they chase the bear then they are red.
The dog does not chase the bear.
@0: The bear is blue.[(triple1)] The bear sees the squirrel.[(triple2)] The bear visits the squirrel.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the squirrel.[(triple5)] The dog is cold.[(triple6)] The dog is nice.[(triple7)] The dog is red.[(triple8)] The dog sees the squirrel.[(triple9)] The dog visits the bear.[(triple10)] The dog visits the squirrel.[(triple11)] The squirrel chases the bear.[(triple12)] The squirrel chases the dog.[(triple13)] The squirrel is nice.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The bear sees the dog.[(((triple6 triple4) -> rule2))] The bear visits the dog.[(((triple2) -> rule5) OR ((((triple6 triple4) -> rule2)) -> rule1))]