The bear does not chase the rabbit. The bear likes the squirrel. The rabbit visits the squirrel. The squirrel is kind. The squirrel is nice. The squirrel is rough. The squirrel visits the bear. The tiger chases the bear. The tiger is young. The tiger likes the bear. The tiger visits the bear. The tiger visits the rabbit. If someone visits the rabbit and they are young then they are not kind. If someone chases the squirrel then the squirrel does not chase the tiger.
The squirrel is nice.
@0: The bear does not chase the rabbit.[(triple1)] The bear likes the squirrel.[(triple2)] The rabbit visits the squirrel.[(triple3)] The squirrel is kind.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel visits the bear.[(triple7)] The tiger chases the bear.[(triple8)] The tiger is young.[(triple9)] The tiger likes the bear.[(triple10)] The tiger visits the bear.[(triple11)] The tiger visits the rabbit.[(triple12)] @1: The tiger is not kind.[(((triple12 triple9) -> rule1))]