The bear is kind. The bear visits the cow. The cow is kind. The cow likes the rabbit. The cow needs the squirrel. The cow visits the rabbit. The cow visits the squirrel. The rabbit needs the bear. The squirrel is cold. The squirrel is round. The squirrel needs the cow. The squirrel visits the rabbit. If something visits the rabbit and the rabbit needs the squirrel then the squirrel visits the bear. If something needs the bear and the bear visits the cow then it is kind. If the cow is kind then the cow needs the rabbit. If something likes the cow and the cow visits the squirrel then the cow likes the squirrel. If something likes the cow and the cow needs the rabbit then it likes the squirrel. If something likes the squirrel and the squirrel likes the bear then it is big.
The cow is not kind.
@0: The bear is kind.[(triple1)] The bear visits the cow.[(triple2)] The cow is kind.[(triple3)] The cow likes the rabbit.[(triple4)] The cow needs the squirrel.[(triple5)] The cow visits the rabbit.[(triple6)] The cow visits the squirrel.[(triple7)] The rabbit needs the bear.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The cow needs the rabbit.[(((triple3) -> rule3))] The rabbit is kind.[(((triple8 triple2) -> rule2))]