The bear chases the dog. The bear chases the squirrel. The bear is nice. The bear sees the squirrel. The bear visits the dog. The dog chases the bear. The dog chases the squirrel. The dog sees the squirrel. The dog visits the bear. The squirrel chases the bear. The squirrel chases the dog. The squirrel is blue. The squirrel is red. The squirrel sees the bear. The squirrel visits the bear. The squirrel visits the dog. If something visits the dog then it is big.
The dog is not big.
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is nice.[(triple3)] The bear sees the squirrel.[(triple4)] The bear visits the dog.[(triple5)] The dog chases the bear.[(triple6)] The dog chases the squirrel.[(triple7)] The dog sees the squirrel.[(triple8)] The dog visits the bear.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is red.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The bear is big.[(((triple5) -> rule1))] The squirrel is big.[(((triple16) -> rule1))]