The bear likes the squirrel. The cow is big. The squirrel is green. If something chases the cow and the cow likes the bear then the bear is young. If something chases the squirrel then it is green. If the squirrel is rough and the squirrel visits the bear then the bear likes the cow. If something chases the cow then the cow is young. If something likes the bear then the bear is big. If something chases the bear and the bear chases the squirrel then it likes the bear. Big things are rough. All green things are rough.
The cow is not green.
@0: The bear likes the squirrel.[(triple1)] The cow is big.[(triple2)] The squirrel is green.[(triple3)] @1: The cow is rough.[(((triple2) -> rule7))] The squirrel is rough.[(((triple3) -> rule8))]