The bear chases the cat. The bear chases the squirrel. The bear is not nice. The bear is not red. The bear is not young. The bear likes the squirrel. The bear needs the squirrel. The cat needs the bear. The squirrel is kind. The squirrel needs the bear. If someone chases the cat then the cat likes the bear. If someone chases the bear and the bear needs the squirrel then the bear is cold. If someone is young and they chase the bear then the bear does not like the squirrel. If someone is kind then they like the cat. If someone likes the cat then the cat is kind. If someone is young and they do not need the bear then they do not like the squirrel.
The bear likes the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is not nice.[(triple3)] The bear is not red.[(triple4)] The bear is not young.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The cat needs the bear.[(triple8)] The squirrel is kind.[(triple9)] The squirrel needs the bear.[(triple10)] @1: The cat likes the bear.[(((triple1) -> rule1))] The squirrel likes the cat.[(((triple9) -> rule4))] @2: The cat is kind.[(((((triple9) -> rule4)) -> rule5))] @3: The cat likes the cat.[(((((((triple9) -> rule4)) -> rule5)) -> rule4))]