The bear does not like the squirrel. The bear visits the squirrel. The squirrel does not chase the bear. The squirrel is not big. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is young. The squirrel does not like the bear. The squirrel visits the bear. If someone chases the squirrel then they like the bear. If someone likes the bear then the bear is not kind. If someone is big and they chase the squirrel then they visit the bear. If someone visits the bear then the bear chases the squirrel. If someone is kind and they do not visit the bear then the bear does not like the squirrel. If someone likes the squirrel then they are not kind.
The squirrel does not chase the squirrel.
@0: The bear does not like the squirrel.[(triple1)] The bear visits the squirrel.[(triple2)] The squirrel does not chase the bear.[(triple3)] The squirrel does not like the bear.[(triple9)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is not big.[(triple4)] The squirrel is young.[(triple8)] The squirrel visits the bear.[(triple10)] @1: The bear chases the squirrel.[(((triple10) -> rule4))] @2: The bear likes the bear.[(((((triple10) -> rule4)) -> rule1))] @3: The bear is not kind.[(((((((triple10) -> rule4)) -> rule1)) -> rule2))]