The bear chases the cat. The bear likes the lion. The bear needs the squirrel. The cat likes the squirrel. The lion is blue. The lion likes the cat. The lion needs the squirrel. The squirrel chases the lion. The squirrel is rough. The squirrel likes the bear. If someone is blue and they chase the bear then they chase the squirrel. If the bear chases the cat then the bear needs the cat. If someone needs the cat and they like the lion then the lion chases the bear. If someone chases the cat and the cat is rough then they chase the squirrel. If the lion is young then the lion chases the squirrel. If someone chases the squirrel and the squirrel needs the bear then they chase the lion.
The lion does not chase the squirrel.
@0: The bear chases the cat.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the squirrel.[(triple3)] The cat likes the squirrel.[(triple4)] The lion is blue.[(triple5)] The lion likes the cat.[(triple6)] The lion needs the squirrel.[(triple7)] The squirrel chases the lion.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the bear.[(triple10)] @1: The bear needs the cat.[(((triple1) -> rule2))] @2: The lion chases the bear.[(((((triple1) -> rule2) triple2) -> rule3))] @3: The lion chases the squirrel.[(((triple5 ((((triple1) -> rule2) triple2) -> rule3)) -> rule1))]