The bear chases the cat. The bear is rough. The bear likes the cat. The cat chases the squirrel. The cat sees the bear. The cat sees the dog. The dog likes the bear. The squirrel is kind. The squirrel is rough. The squirrel sees the cat. If the squirrel is kind then the squirrel is big.
The squirrel is not big.
@0: The bear chases the cat.[(triple1)] The bear is rough.[(triple2)] The bear likes the cat.[(triple3)] The cat chases the squirrel.[(triple4)] The cat sees the bear.[(triple5)] The cat sees the dog.[(triple6)] The dog likes the bear.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is rough.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The squirrel is big.[(((triple8) -> rule1))]