The bear chases the cat. The bear is round. The bear is not young. The bear likes the cat. The bear needs the cat. The cat chases the bear. The cat is round. If something needs the bear and the bear does not chase the cat then the cat chases the bear. If the bear chases the cat and the cat likes the bear then the cat chases the bear. If something chases the bear and the bear likes the cat then it is rough. If something likes the bear then it is young. If the cat does not need the bear then the bear needs the cat. If something needs the bear and the bear needs the cat then the cat does not like the bear.
The bear needs the bear.
@0: The bear chases the cat.[(triple1)] The bear is not young.[(triple3)] The bear is round.[(triple2)] The bear likes the cat.[(triple4)] The bear needs the cat.[(triple5)] The cat chases the bear.[(triple6)] The cat is round.[(triple7)] @1: The cat is rough.[(((triple6 triple4) -> rule3))]