The bear chases the cat. The bear chases the squirrel. The bear likes the cat. The bear likes the squirrel. The bear visits the rabbit. The cat chases the rabbit. The cat is kind. The cat is round. The cat visits the squirrel. The rabbit visits the bear. The squirrel chases the bear. The squirrel likes the bear. If someone is kind and they chase the squirrel then they visit the cat. If someone likes the bear and the bear likes the rabbit then they chase the bear. If someone likes the cat then the cat is big. If someone likes the bear then the bear is big. If someone visits the cat and the cat chases the squirrel then the squirrel is kind. If the squirrel is round and the squirrel likes the bear then the bear visits the cat.
The cat is kind.
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear likes the cat.[(triple3)] The bear likes the squirrel.[(triple4)] The bear visits the rabbit.[(triple5)] The cat chases the rabbit.[(triple6)] The cat is kind.[(triple7)] The cat is round.[(triple8)] The cat visits the squirrel.[(triple9)] The rabbit visits the bear.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel likes the bear.[(triple12)] @1: The bear is big.[(((triple12) -> rule4))] The cat is big.[(((triple3) -> rule3))]