The bear does not eat the squirrel. The bear is big. The bear is not green. The bear likes the cow. The bear likes the squirrel. The cow chases the squirrel. The cow does not eat the bear. The cow eats the squirrel. The cow is big. The cow is green. The cow likes the squirrel. The squirrel chases the cow. The squirrel eats the bear. The squirrel is green. The squirrel is young. If someone eats the bear and they like the cow then the cow chases the bear. If someone chases the bear then the bear likes the squirrel. If the bear chases the cow and the cow is green then the bear likes the cow. If someone chases the squirrel then they are blue. If someone chases the cow and the cow chases the bear then they chase the bear. If someone likes the bear then the bear is young. If someone is blue then they like the bear. If someone eats the cow and they do not chase the cow then the cow likes the squirrel.
The bear is young.
@0: The bear does not eat the squirrel.[(triple1)] The bear is big.[(triple2)] The bear is not green.[(triple3)] The bear likes the cow.[(triple4)] The bear likes the squirrel.[(triple5)] The cow chases the squirrel.[(triple6)] The cow does not eat the bear.[(triple7)] The cow eats the squirrel.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10)] The cow likes the squirrel.[(triple11)] The squirrel chases the cow.[(triple12)] The squirrel eats the bear.[(triple13)] The squirrel is green.[(triple14)] The squirrel is young.[(triple15)] @1: The cow is blue.[(((triple6) -> rule4))] @2: The cow likes the bear.[(((((triple6) -> rule4)) -> rule7))] @3: The bear is young.[(((((((triple6) -> rule4)) -> rule7)) -> rule6))]