The bald eagle chases the cat. The bald eagle eats the bear. The bald eagle is young. The bear chases the cat. The bear is red. The bear is rough. The bear is young. The cat eats the squirrel. The cat needs the bear. The squirrel eats the bear. The squirrel eats the cat. The squirrel is rough. If something needs the squirrel then it is rough. If something eats the cat then the cat is red. If something chases the squirrel then the squirrel is rough. If the squirrel is young and the squirrel chases the bear then the bear chases the squirrel. If the squirrel chases the cat then the cat needs the squirrel. If something chases the squirrel and the squirrel chases the bear then the squirrel chases the bald eagle. If something chases the cat then it is rough. If something needs the cat then the cat chases the squirrel.
The squirrel is not rough.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is young.[(triple3)] The bear chases the cat.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6 OR ((triple4) -> rule7))] The bear is young.[(triple7)] The cat eats the squirrel.[(triple8)] The cat needs the bear.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel is rough.[(triple12)] @1: The bald eagle is rough.[(((triple1) -> rule7))] The cat is red.[(((triple11) -> rule2))]